jeffhykin

joined 2 years ago
[–] [email protected] 1 points 5 months ago

Nope, unfortunately

[–] [email protected] 6 points 5 months ago
  1. Grad student
  2. Bad
[–] [email protected] 1 points 5 months ago

I think my city has a bike rack for the bus, but honestly it seems like such a pain to mount and dismount it I wouldn't really ever consider using it. (I'm curious if anyone has had experience with it)

[–] [email protected] 7 points 6 months ago* (last edited 6 months ago)

I get this, but

Why not say "I get this, and ..." ?

I don't think the idea of a learn-as-you-go editor goes against the idea of watching skilled devs with their favorite tool

[–] [email protected] 6 points 6 months ago* (last edited 6 months ago)

Input speed is not "just" input speed.

Note: I'm not about to argue for or against modal editors, I just want to answer: why is input speed really really really important, when (we agree) its not a big percent of total time.

5min at 80mph over a bumpy dirt path is very very different than 5min of flat smooth straight driving. And not just because of effort.

A senior and junior dev could spend the same amount of time to rename a var across 15 files, move a function to a new file, comment out two blocks, comment one back in, etc. But. When I try to have a conversation while they do that, or when I change my mind and tell the junior to undo all that, its a massive emotional drain on the junior.

But effort isn't the whole picture either: speed is a big deal because pausing a conversation/mental thought for 5 seconds while you wait to finish some typing, is incredibly disruptive/jarring to the thought-process itself. That's how edge cases get forgotten, and business logic gets missed.

Slower input is not merely input time loss, it also creates time loss in the debugging/conceptualizing stages, and increases overall energy consumption.

If the input is already fast enough that there's no "pauses in the conversation" then I'd agree, there's not much benefit in increasing input speed further. BUT there's almost always some task, like converting all local vars (but not imported methods) in a project to camel case, that are big enough to choke the conversation, even for a senior dev. So there's not necessarily a "good enough" point because it's more like decreasing how often the conversation gets interrupted.

[–] [email protected] 21 points 6 months ago* (last edited 6 months ago) (2 children)

Don't Speculate

Go to Twitch/YouTube. Watch a senior Vim/Jetbrains/Emacs/VS Code/Helix dev churn out code for a hackathon/advent-of-code, and see what you are (or are not!) missing out on.

If you have "how the hell did they just do that" moments, figure out what that feature is, and STEAL IT. If its too hard to steal, then maybe you are being limited by your editor. Base your "fear of missing out" on what you see rather than random people tossing their opinions around. Only you can answer "how much is that feature worth to me and my workflows?"

  • If you're going to try modal editors, sooner is exponentially better. Probably start with Vim bindings for VS Code.
  • If you're not going to go modal, then make absolutely sure you don't bottom out. To be frank, Ctrl+D is the tip of the iceberg. Half the benefit of modal editors is, mastery is mandatory; they chase you around with a 10k volt taser until you've got 100 instinctual shortcuts. Hardly anyone mentions this but Go beyond/outside your editor: At the OS level, use spacebar as a modifier key, where holding spacebar converts your WASD into arrow keys. Then disable your normal arrow keys. Something like that will get you vim-like benefits, but in every app, and with a learning bump instead of a learning mountain. For VS Code, get cursor jumper extensions like Mario (block jumper), get cursor-alignment extensions, write boatloads of custom code snippets, get a macro record+replay extension, make a jump-to-next quote, jump to next bracket, install sequential number generator extension, a case change (camel case, snake case, etc) extension, sort lines, case-preserving rename. If you can avoid bottoming out, and keep learning, you'll likely never feel that you are missing out on whatever modal editor people are swearing by.
[–] [email protected] 1 points 8 months ago

Once you're >25 this is just a flex

[–] [email protected] 2 points 8 months ago

Glad I'm not alone on this

[–] [email protected] 4 points 9 months ago

Yeah :/ it does appear that way. I looked into them a bit after reading the article, they've got a 61/100 score on the freedom house index (US is 83/100). From freedom of speech to freedom of religion, there seems to be a lot of not-as-advertised realities.

[–] [email protected] 3 points 9 months ago* (last edited 9 months ago) (4 children)

Oh! Yet another thing I didn't think of. I'll start trying that.

While I don't have choc (I wanted choc switches) I did take the time to print choc-like keycaps for MX switches, because apparently 3d printing and Etsy are the only way to get those (for some reason).

I don't know how people tolerate keycap profiles like DSA

[–] [email protected] 4 points 9 months ago (6 children)

this is really cool, I did not know about keymapDB!

The letters in between keys make sense to me (press both keys). I'd never thought of doing chords that way before.

I'm confused by the vertical in-between keys though. Like how are S and W pressed at the same time physically?

6
submitted 2 years ago* (last edited 2 years ago) by [email protected] to c/[email protected]
 

I plan to speak to my city council about a tool library, and literally have citizens use their existing library card to checkout tools. To make the idea a bit more robust, I'm also planning to require citizens deposit something as collateral when checking out a tool.

However.

I live in Texas (I love Texas). Thankfully my city council is receptive, but I know they're going to need compelling evidence before approving something like this.

So, if you guys have any examples, or advice, particularly of this kind of system working in the US, I would love to hear about it!

 

Cyberpunk themed rooms are pretty common, but I don't want to limit solarpunk discussion to just rooms; It could be as big as getting your city council to add a greenway, or as small as finding a nice desktop wallpaper. I'd like to hear about it. I'll start off with a few of my own:

  • I got a sunlight alarm clock; best decision I've ever made. The minimal design of this one is great except for one thing; you have you take 5 min to drill a hole in the dead-center of the speaker to kill the alarm noise. It's the only way to disable the sound. I'm sure there's other good options as well.
  • A couple years ago I got an EcoFlow battery with a small 100W solar panel. I mention it specifically because, unlike other batteries, the EcoFlow was extremely repairable, while also having top of the line specs (at least a couple years ago). I still haven't hooked up the solar panel to the grid, maybe next year.
  • I know plants help a ton, but you're going to have to get plant tips from someone else. Maybe someone will have some fake plant recommendations for me.
  • String lights and LED strips work wonders, both indoors and outside. Higher quality string lights (the lights are close together, bulbs are usually brighter and classic-looking) are quite a bit better than the cheap amazon ones, but even the amazon ones add atmosphere. Combine them with cheap timer-sockets and outdoor light sensor sockets to make a nice automated system.
  • I know it's kind of weird to consider going somewhere as part of a "theme" but I haven't found a farmers market that wasn't nice community. Last week I got an IRL side quest; one of the vendors heard I was going to visit the other market location and asked if I could bring a jug of sweetener to his counterpart there. Sometimes the people are them most important part of a theme, so I recommend participating in a market.
  • For transportation, there are some truly great e-options as of late. It's $300 for a cheap-but-good electric scooter on Amazon. I've also got an overpowered e-bike (Onyx RCR) and even at $4000 it's cheaper than a couple years of a car insurance and gas. Silently zooming with the confidence of being able to charge it off a solar panel is a really pleasant feeling.
  • Finally I've recently attended my first city hall meetings, and it's been shocking how helpful the city staff is. Absolutely nothing like the DMV or national politics. For example, I was told about a "SeeClickFix" app, and it has been great for getting street lights fixed.

It's not much, but that's all my tips.

Got any string lights of your own to show off? or maybe some watering systems, or plant tips? I wish we had an r/battlestations equivalent

4
submitted 2 years ago* (last edited 2 years ago) by [email protected] to c/[email protected]
 

TLDR; do you know of any general purpose languages that can also compile a function to some representation of AND/OR gates (or NAND gates, or whatever)?

Edit: actually any algebra/formal-logical system is also fine (not just boolean algebra).

Yes, a A LOT of additional info is needed, like defining how input/output is defined, and I am interested in how those would be specified. I'm not interested in printing an actual circuit, just the boolean-logic level. And I'm mostly asking because I feel like most compilers can't generate a clean/mathematical representation from their AST. There's AST to IR, there's hard-coded optimizations on the IR, and then there's hard-coded mappings from the IR to assembly, but at no point (AFAIK) is the code turned into a algebraic/logical system where something like De Morgan's Law can be applied. And that seems really sad to me.

So you could say my real question is: what compilers have a strong logical/algebraic internal representation of their own AST?

Maybe something like Haskell or Prolog do this. The Wolfram Language almost certainly does but it's closed source.

22
submitted 2 years ago* (last edited 2 years ago) by [email protected] to c/[email protected]
 

I know, this isn't a keyboard post, but lets be real, if there's any communities that would know/care about programable foot pedals it would be this one.

I'm looking for a USB foot pedal, ideally something clicky-feeling, with decent-resistance, short travel distance. I only need 1 pedal but something with more than one is fine. I don't need anything premium; I'm just browsing amazon I can't really spot the difference between mushy garabage and decent-ish build quality.

Any recommendations?

(Non-USB recommendations are fine; hopefully this post will be useful to others considering a foot pedal)

 

Its not much, as its a variation on Iosevka, exclusively for programming, and I made it a while ago, but I wanted to see what the community thinks. (I tried including a picture with the post but it failed to upload for some reason)

I'd love to see more open source self-made fonts. Any criticisims on functionality, or recommended changes are welcome.

 

I couldn't find a post in this community about cameras so I figured I'd make one. Requirements:

  • No "sign up" required to record video
  • Video is stored locally
  • Video is in a non-propriatary format
  • Can work offline

Optional/Discussion Points:

  • Can wireless connectivity be hardware disabled
  • Can auto-update be disabled
  • Does the device try to "phone home" if it is connected to wifi
  • Disk encryption would be nice but I doubt that'll be an option for anything other than self-hosted stuff

Does anyone know about Lorex (it seems more privacy centered)?

I'm highly technical, so feel free to mention self hosted raspberry pi soltuions as well.

 

(From the IPFS Discord) Hello @everyone! 🥁 drum roll... 🥁

We're excited to be announcing the formation of the **Ecosystem Working Group! **

We believe this working group and its autonomy will be critical in helping propel IPFS toward a better and even brighter future.

Read all about it on the IPFS blog

 

I love a lot of the keyboards on here (especially ones with an integrated track ball) but I'm a poor grad student under deadlines; even most kit-boards are too much of a time sink for me to soldier together.

I know at least some of you like trying new boards all the time. And I'm guessing some of you have one or two daily drivers and then 3 older boards; maybe one that was a prototype build, or a novelty micro-board that was fun to just play with but not use, etc.

I would be happy to effectively fund a new kit/build for someone by buying one of those older (assembled) boards, but I don't know where to look.

Is there any kind of used market, or do you guys have any recommendations?

14
submitted 2 years ago* (last edited 2 years ago) by [email protected] to c/[email protected]
 

I would love if someone would write a parody of modern society. Something roughly like this narrative

Setting/Context:

  • energy becomes a non-issue (fusion powered cars; extra loud systems)
  • cars and highways get so big that people literally start driving their house to work
  • ads about "wait in line at the drive through from the comfort of your own home"
  • started with rich people getting drivable houses (not RV's or motorhomes; but driveable homes that are branded in a completely different way)
  • normal daily commutes of 100miles since everything is so padded out with parking
  • instead of owning land, some people just park in "overnight" areas with random neighbors (nobody knows their neighbors)
  • speeds are being increased because of the 100 mile daily commute, but it's causing increased accidents (nuclear) which are downplayed; people start padding their portable houses with radiation protection
  • Being too poor to afford a high speed portable home means you're effectively barred from registering to vote or perform daily tasks

Then:

  • someone (protag) has an idea of just staying parked permanently at his job's parking lot (he works at a grocery store)
  • His parking space is 1 mile from the front door of the grocery store so he "invents" the idea of mini-transportation
  • He convinces a handful of people to stay parked next to him and stars relying on them for small services (doctor advice, plumbing work, etc)

But:

  • the company won't allow any goods or services to be exchanged on their parking lot; those doctor services are illegal
  • cooperations band together to mandate no-overnight parkin (or some other better antagonistic thing, this is where my lack of writing skills is apparent)

Eventually:

  • (fight-club style expansion) there is a small movement of people planting their houses forming small communities on top of the massive parking lots
  • they repurpose their fusion generators
  • etc
 

if you ever browse r/gradstudents its about as depressing as posts on this sub; and if society's most promising students are constantly forgetting they're enough, maybe you did too.

 

Imagine the following:

  • Servers declare a target number of users/posts-per-day (enables programmatically detecting when other people's servers are generally under/over capacity)
  • Severs have a recommender list of other servers (whitelist), separate and more exclusive than their non-blocked list

Whenever someone goes to the sign up page, for example, on Lemmy.world, we:

  • look at the recommender list
  • find the server that is most under capacity
  • have a very large iframe with "Sign up for Lemmy (using [under capacity server here])"
  • have a small "No, I want to sign up specifically on Lemmy.world" option

AND, as a precaution against maybe-malicious takeovers (e.g. a Facebook server saying it has unlimited capacity and all new users getting forwarded to them) a server can set it's own maximum recommender caps; e.g. "recommended" servers won't be recommended if they're above 10,000 users even if they claim they could handle more.

Thoughts?

view more: ‹ prev next ›