jeffhykin

joined 2 years ago
 

Reminds me a bit of prolog with the query system

[โ€“] [email protected] 2 points 1 week ago

Fair enough ๐Ÿ˜ but think of the portability

7
submitted 1 week ago* (last edited 1 week ago) by [email protected] to c/[email protected]
 

I know you guys build some pretty nice boards, but I think this is the most elegant one I've seen yet. (I'd post the image but my host lemm.ee doesn't support it)

[โ€“] [email protected] 3 points 2 weeks ago

Sounds good. Given its creeky all over the place, I'll probably try mapping out the joists first. I'll (hopefully) post an update after my attempt.

Thanks for the advice!

[โ€“] [email protected] 2 points 2 weeks ago (1 children)
[โ€“] [email protected] 2 points 2 weeks ago

Yeah I'd say that'd be pretty tough with carpet

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

Programming actually-alive neurons sounds crazy, but this is from the same guys who got neurons in a petri dish to successfully play pong. I'm actually friends with some of them (Peter and Hans) if you have any questions about the project.

[โ€“] [email protected] 1 points 2 weeks ago

Nope, unfortunately

 

I've got creeky floors under carpet (relatively new building). I don't own the place but the creeks and squeaks bother the hell out of me at night when I'm trying to not wake up the pup.

Didn't see any particularly useful advice online so any thoughts are appreciated.

 

Place cells and grid cells won the Nobel prize in 2014, but it turns out we didn't understand them very well. The paper is a bit dense, but its the latest update in understanding how place cells actually work (in contrast to the oversimplified/wrong understanding we had in 2014)

[โ€“] [email protected] 6 points 2 weeks ago
  1. Grad student
  2. Bad
[โ€“] [email protected] 6 points 3 weeks ago* (last edited 3 weeks ago) (1 children)

For a post that sparks good answers that I'm happy to see, I'm sad to see the post itself have so many down votes.

[โ€“] [email protected] 8 points 1 month ago* (last edited 1 month 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] 5 points 1 month ago* (last edited 1 month 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] 24 points 1 month ago* (last edited 1 month 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 3 months ago

Once you're >25 this is just a flex

[โ€“] [email protected] 2 points 3 months ago

Glad I'm not alone on this

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

I didn't know anything about Bhutan before reading this, so it sounded fairly Solarpunk to me. I'm hopeful for their new city.

 

While I'm particularly looking for chords (ex: if jkl; are all keydown at the same time then send the space keypress) I'd be happy to hear about your keymapping approach in general. E.g. how do you organize your layers, have you needed to custom compile anything, mapping choices you regret but are too hard to change now, etc.

I got my first ergomech board recently. I've got the background to flash the board manually and code everything in C. But before I go down that very deep rabbit hole, I wanted to see if what others had done/learned.

Personally I'm not planning to go full asetniop with cords. I think I just want a handful of chords to go along with layers.

1
submitted 8 months ago* (last edited 8 months ago) by [email protected] to c/[email protected]
 

I'm asking for existing tools/systems that let me programmatically say: "here is my public key, BUT if each of these 5 other public keys all send a signed message saying that my public key has been compromised, then you should mark my public key as compromised, and use the new one they provide". (This is not for a particular task, I'm just curious if any existing auth systems are capable of this)

I call the idea "guardian keys" because it could be friends' public keys or or just more-securely-stored less-frequently-used keys that you control.

NOTE: I know this would not work for data encryption. Encrypted data is simply gone if a key is lost. But, for proving an identity, like a login, there could be a system like this but I don't know of any

 

I don't think I've seen any solarpunk art (much less real world construction) with transparent wood, so I wanted to share

Not only is transparent wood real but apparently it has been around in labs for a bit. Take a look! (And let me know if this is old news for you)

Article: https://arstechnica.com/science/2023/12/why-scientists-are-making-transparent-wood/

Wikipedia with video: https://en.m.wikipedia.org/wiki/Transparent_wood_composite

Original paper publication: https://45-79-48-20.ip.linodeusercontent.com/s/trDsHKKWwsHsQZ5

 

Why doesn't every computer have 256 char domain name, along with a private key to prove it is the sole owner of the address?

Edits: For those technically inclined: Stuff like DHCP seems unnecessary if every device has a serial number based address that's known not to collide. It seems way more simple and faster than leasing dynamic addresses. On top of that with VOIP I can get phone calls even without cell service, even behind a NAT. Why is the network designed in such a way where that is possible, but I can't buy a static address that will persist across networks endpoint changes (e.g. laptop connecting to a new unconfigured wifi connection) such that I can initiate a connection to my laptop while it is behind a NAT.

  • Yes, it would be a privacy nightmare, I want to know why it didnt turn out that way
  • When I say phone number, I mean including area/country code
  • AFAIK IP addresses (even static public ones) are not equivlent to phone numbers. I don't get a new phone number every time I connect to a new cell tower. Even if a static IP is assigned to a device, my understanding is that connecting the device to a new uncontrolled WiFi, especially a router with a NAT, will make it so that people who try to connect to the static IP will simply fail.
  • No, MAC addresses are not equivalent phone numbers. 1. Phone numbers have one unique owner, MAC addresses can have many owners because they can be changed at any time to any thing on most laptops. 2. A message can't be sent directly to a MAC address in the same way as a phone number
  • Yes, IMEI is unique, but my laptop doesn't have one and even if it did its not the same as an eSim or sim card. We can send a message to an activated Sim, we can't send a message to an IMEI or serial number
 
  • I make websites
  • If someone is banned twice (two accounts) I want it to take them more than 5min and a VPN to make a 3rd account
  • I'm okay with extreme solutions, like requiring everyone to have a Yubikey-or-similar physical key
  • I really hate the trend of relying on a phone number or Google capcha as a not-a-bot detection. Both have tons of problems
  • but spam (automated account creation) is a real problem

What kind of auth should I use for my websites?

 

Often we dig our own grave making people "defend" their opinion. Instead of winning them over, we push them to become more and more entrenched in their opinion as they build larger mental defenses against the challenges we present. So I want to hear from you:

How do you avoid putting people on the defensive? (Even though those people had a strong alternative opinion)

What was a time where the opposite happened; all the facts were there, but absolutely no one was convinced by the talk?

I feel like solarpunk has a lot of obvious-once-seen ideas and powerful "ahh-ha" moments. But if we can't convince others to take a glimpse from our perspective, not much benefit will come from it.

view more: next โ€บ