HN user

kerneis

782 karma

https://www.linkedin.com/in/gabrielkerneis

Posts20
Comments114
View on HN
arxiv.org 4mo ago

Evaluating Genuine Reasoning in LLMs via Esoteric Programming Languages

kerneis
1pts1
cyber.gouv.fr 9mo ago

Technical Position Paper on Confidential Computing

kerneis
1pts0
newsletter.pnote.eu 1y ago

Beyond the golden age: reflecting on 12 years at Google

kerneis
3pts2
rachelbythebay.com 4y ago

Service Unavailable: The sysadmin has decided the site isn't going to run today

kerneis
9pts5
a13xp0p0v.github.io 4y ago

A Kernel Hacker Meets Fuchsia OS

kerneis
285pts4
interconnected.org 4y ago

Lightbulbs Were So Startup

kerneis
62pts31
gabriel.kerneis.info 4y ago

TPM Remote Attestation over Bluetooth

kerneis
4pts0
github.com 5y ago

Storrent: A BitTorrent implementation optimised for streaming media

kerneis
4pts1
www.documentcloud.org 7y ago

Jack Poulson Letter to Senate Commerce Committee

kerneis
2pts1
www.blog.google 8y ago

Exploring art through selfies with Google Arts and Culture

kerneis
1pts0
time.com 9y ago

Google launches new Street View and Search features for art

kerneis
1pts0
docs.google.com 9y ago

Shark Attacks vs. Plane Parts

kerneis
3pts0
rwmj.wordpress.com 9y ago

A new Amazon seller scam

kerneis
4pts0
googleblog.blogspot.com 10y ago

Tilt Brush: painting from a new perspective

kerneis
2pts0
www.fsf.org 13y ago

LibreWRT: FSF's newest fully free GNU/Linux distribution

kerneis
3pts0
pastebin.com 13y ago

OVH acknowledges back office security issue

kerneis
58pts24
article.gmane.org 13y ago

Trojita: an IMAP mail client

kerneis
99pts86
www.stephenwolfram.com 13y ago

Tablet: Personal Computer in the Year 2000 (1988)

kerneis
43pts18
common-lisp.net 13y ago

CLFSWM - A(nother) Common Lisp FullScreen Window Manager

kerneis
3pts2
forum.utorrent.com 13y ago

µTorrent will include ads, users pissed off

kerneis
3pts0

Bitlocker can be "paused", which really means the key is written unprotected to disk. This can be done by the user, but also happens temporarily during updates that would change bootchain measurements, because those measurements are used by the TPM to decrypt the key (hence changing them would make the key undecipherable).

Can you really unlock the bootloader? I see it mentioned a lot as an upcoming feature (since 2024…) but couldn't find documentation about it.

Exe.dev 7 months ago

Thank you! This is a very useful one-pager, answers many questions I had I couldn't find in their documentation (being on mobile I couldn't test with SSH).

What do you mean exactly by "push as a comment" and "pulls text comments"? Is it some sort of custom logic specific to your work place?

Not sure if it was DARPA, but the web server used Tame, a custom event-driven framework at a time where the thread vs. events debate was all the rage in the academic community. (I did a PhD on the topic and that's how I learned about Ok Cupid!)

You can read the paper they published: "events can make sense" https://www.usenix.org/legacy/events/usenix07/tech/krohn.htm...

I met some ex-OkCupid engineers at a later company who said the framework was smart but a pain to maintain in then long run.

Both exist.

Trivia time: Laeticia (née Laetitia) was married to Johnny, the famous French rock singer; Estelle was married to David, son of Johnny. Note that Johnny is dead now, Laeticia has been remaried twice but kept Johnny's last name, Estelle is divorced, and David is not the son of Laeticia as Johnny got married several times (David's mother is the French actress Sylvie Vartan).

OK, that makes a lot of sense. Thanks for taking the time to clarify!

But as joatmon-snoo correctly said, the more important point is demonstrating how bad backend churn is with this algorithm.

Yes, again the overall point came across clearly, but faced with specific examples I like to dive into the details to check my understanding of how things work. Otherwise, it's easy to overlook key but subtle details.

There are several points in the article where the examples didn't make sense at all to me. Overall an interesting article, but I'm either a bit dense this morning, or it's sloppy in the details and explanations

For instance, in table 3, it looks like they excluded backend tasks {0,1} (for frontend tasks {0, 1}) then {2,3} (for frontend tasks {2,3}) in the N=10 case, but backend tasks {1,2} then {3,4} in the N=11. Why the discrepancy? I get that it helps them make the point about task 3 changing subset, but it's inconsistent with excluding left-overs in a round-robin fashion presented in the previous paragraph.

Another sentence that I couldn't make sense of is: "If these [tasks 2 and 4] carry over to the subset of the next frontend task, you might get the shuffled backend tasks [7, 2, 0, 8, 9, 1, 4, 5, 3, 6], but you can't assign backend task 2 to the same frontend task. " The "same frontend task" as what? Obviously note the one task 2 was already assigned to (the most intuitive reading to me), since precisely task 2 was not assigned and is a left-over. But then again, what does this mean?

Tailnet Lock 4 years ago

I found the blog post slightly confusing because it never explicitly spells out that endorsing a new node is a manual operation that the administrator has to perform from one of the trusted nodes. Of course this is what you'd want, anything automatic would ruin the purpose of tailnet lock. But still not seeing it mentioned, neither in the text nor in the pictures, made me wonder what I had missed, until I watched the video which features that very step as part of the demo.

Also from the start they introduce a bug in the kernel (in the TimerDispatcher implementation), and this is the very bug they focus on and eventually write an exploit for.

They explain why they do so, and the article is extremely valuable as a first step and tutorial to get started in Zircon kernel hacking. They also find some actual issues, including one CVE. But I disagree the article shows how "unsecure Fuchsia is as a result of being unfinished".

It won't help you learn C++ from scratch, but once you know a bit about it, the Abseil tips published by Google are a remarkably useful resource to learn best practices and modern C++: https://abseil.io/tips/

They are one of the main tools used internally at Google to ensure engineers who have to use C++ stay on top of language evolution and avoid common pitfalls.

Following-up on irrelevancy: what made you stick? We had the same experience, but gave up after 6 weeks because breastpumping was exhausting, and switched to bottles and artificial milk which our daughter loved immediately.

I don't know a lot about Capsicum, but from what I remember (and see from their website) it adds capabilities to FreeBSD but doesn't make them mandatory. As such, it is a tool to build compartimentalized applications. It does not provide a comprehensive solution to sandbox existing applications, and does not remove the ambiant-authority model. It is a better, safer chroot(). Fuchsia, on the other hand, is built on top of capabilities from the ground up, ensuring that you don't even have a concept of "file descriptor" or "centralized filesystem" to begin with.