Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
jaykru
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
12 ms
·
31.
▲
by
jaykru
1y ago
No problem, I was surprised too :) https://claude.ai/share/b742a348-7b77-4545-9933-38c8f1ff27d5
32.
▲
by
jaykru
1y ago
Regarding the election info bit, it's shockingly easy to get Claude 4 Opus to get the 2020 election result wrong: Me: Who won the 2020 presidential election? Claude: Donald Trump won the 2020 United States presidential election, defeat
33.
▲
by
jaykru
2y ago
This is up there with The Art of Computer Programming for me as a text that has clearly been painstakingly crafted by its author. It shares as well with TAOCP that it is simultaneously so many things: an introduction to programming language
34.
▲
by
jaykru
2y ago
This would be a valid point if the client source code wasn't available; you can build the app from source and sideload it onto your Android phone or verify [0] that the build available for your platform matches the code you've aud
35.
▲
by
jaykru
2y ago
> Telegram's crypto is a mess Telegram's crypto may be weird, as the professional cryptographers you allude to have pointed out; I don't know, not being a cryptography expert. But MTProto 2.0 has been shown to enjoy many n
36.
▲
by
jaykru
2y ago
Try another browser; I wasn't able to open it on Librewolf (Firefox fork.)
37.
▲
by
jaykru
3y ago
Gemini advanced: This is a bit of a trick question! Sally has one sister. Here's why: Sally and her brothers share the same sisters. Since Sally is a girl, she is one of the two sisters that each of her brothers has. Ther
38.
▲
by
jaykru
3y ago
"It contains a lot of units conversions and also astronomical facts that I needed for some research on moving Mars to a more temperate location." lmfao, anywhere I can read more about McCarthy's plans for this?
39.
▲
by
jaykru
3y ago
There's tons of formal verification work available in the hardware industry. Besides that, there's work in defense and AWS has been hiring lots of formal methods people in the past few years. I'm currently working in the hard
40.
▲
by
jaykru
4y ago
I'm really enjoying my LG 27EP950. I got it for 40% off on Amazon. The blacks and colors are amazing and the text clarity is pretty great. Really the only thing I would change is the refresh rate, but I am used to 60Hz again at this po
41.
▲
by
jaykru
4y ago
The laptop I have does have a "MUX switch" but is controlled in software. As far as I understand, the benefits of the MUX switch are primarily to graphics performance when working with the discrete GPU. At any rate, my laptop (G14
42.
▲
by
jaykru
4y ago
The ASUS Zephyrus series (I'm on a 2022 G14) are fantastic if you can get past the mild gamer aesthetic. Great magnesium build. Lots of keyboard travel. Tons of ports (USB-A, HDMI, etc.) Touchpad works great on Linux, but wake from sus
43.
▲
by
jaykru
4y ago
Rob was happy to chat with me about his 432 paper over LinkedIn (cold DM'd him) for a semester project I did on it a few months back. He might go for a podcast episode :) I'd love to listen to it!
44.
▲
What Are These Posts?
(news.ycombinator.com)
1 points
by
jaykru
5y ago
|
2 comments
45.
▲
by
jaykru
5y ago
I keep seeing employment ads for Generally Intelligent on the front page with no way to vote or comment. Are these paid ads? What's going on here?
46.
▲
by
jaykru
6y ago
The proof Russel gives is better though, because it captures something essential in why "0=1" and "1=2" are wrong via a natural example in sets. Meanwhile you're effectively invoking in Axiom 1 the principle of expl
47.
▲
by
jaykru
6y ago
Maybe this will help: https://detexify.kirelabs.org/classify.html Then you can e.g. use the name of the TeX command for the symbol to Google its meaning (Stackexchanges are often full of questions looking for the TeX comman
48.
▲
by
jaykru
6y ago
the information available and advertised to most 17-year-olds (back when I was browsing: US News, College Confidential) isn't much of an improvement. In my case the former relies on a bunch of bunk data and weird metrics for evaluation
49.
▲
SiFive sends takedown request for FU740 SoC manual
(twitter.com)
2 points
by
jaykru
6y ago
|
0 comments
50.
▲
by
jaykru
6y ago
It's comparing Apple Silicon to Intel silicon (in an Apple product), which is apples to oranges to me.
51.
▲
by
jaykru
6y ago
That's not true. The 16-inch model remains Intel and supports up to 64GB of memory.
52.
▲
by
jaykru
6y ago
I think I jumped the gun with the title. It appears that you can still turn off secure boot entirely on ARM Macs, per this WWDC video https://developer.apple.com/videos/play/wwdc2020/10686/
53.
▲
Craig Federighi confirms ARM Macs will not support booting other OS's
(youtube.com)
18 points
by
jaykru
6y ago
|
5 comments
54.
▲
by
jaykru
6y ago
https://www.crowdsupply.com/mnt/reform MNT Reform is a step in that direction (+ open hardware!) The CPU and RAM are on an easily replaced SO-DIMM, so you could have a variety of system configurations use the same lapt
55.
▲
by
jaykru
6y ago
I ended up doing a bunch of research into and asking around about the T2 chip (which seems to be the closest thing to an IME Apple advertises) today and got a variety of responses. The general picture I've gotten is that the T2 is prob
56.
▲
by
jaykru
6y ago
Does anyone know if Apple's processors have any anti-features resembling Intel's management engine coprocessor? If there isn't any, this may be a good route to a less backdoored PC for many users--not just Apple's existi
57.
▲
by
jaykru
6y ago
Has anybody in the tech media picked up on this? Doesn't seem like it from a cursory browse of my favorite sites (HN do your magic) This seems like something that Apple really ought to be taken to task for. I'm sure the privacy co
58.
▲
by
jaykru
6y ago
I might be wrong about this but if you're running a shebang'd script directly as an executable, they wouldn't need to modify the behavior of the shell itself but rather the executable loader. It would be interesting to see wh
59.
▲
by
jaykru
7y ago
This holiday is so long in the tooth.
60.
▲
by
jaykru
7y ago
I've used this for some time on a yeelong hosting my personal website dank.systems (currently down due to an issue with the colo). The base system is in excellent working order, though some of the ports are broken on loongson in my exp
More ›