skysight-inc/HackerNews huggingface dataset:
Cool, thanks! Always curious to hear if there's something new out there.

I have always enjoyed using the BEAM ecosystem for concurrency, but Ruby has so much code and is great for "getting stuff done", so it's mostly what I keep using.
This is a timely message for those looking at America, Russia, the middle east and China (world powers) and geopolitics with horror. Fear not children for I will tell you the secret that has been hidden from you...
The example is kind of opposite of the point GP's trying to make, isn't it? I mean, "cheeseburger" is a very well-known and a very specific thing. You ask a cook to make you one, they'll know what you want. Try asking for "a hamburger with patty topped with sliced cheese and standard condiments", and you'll probably get back a confused look, "er, you mean you want a cheeseburger, right?".

Same pattern happens with LLMs, in my experience. GP says an LLM infrerence is "sort of a decompression process for a lossy copy of the Internet" - but in these terms, if asking it for a cheeseburger means decompressing parts of the latent space around the term "cheeseburger", then asking for "a hamburger with patty topped with sliced cheese and standard condiments" is making it decompress much larger space around multiple terms, and then filter the result out into a semantically relevant subspace, and then run extra inference on that.

If you think about it, the very reason we (humans) give names to things is to avoid having to repeatedly do that decompression and filtering every time we want to refer to a specific thing. We call the modified "hamburger" a "cheeseburger" precisely to avoid having to talk like GP suggests we should talk to LLMs, so I very much think this advice is backwards.
1. What constitutes a proof?

An irrefutable demonstration of a conclusion, possibly via sequence of steps or combination of elements.

2. In what context is a "proof" embodied?

Do you mean what the range or domain of the proof are? Not sure on the "embodied". I think you mean the communication of the proof and the expected base knowledge to understand the proof.

3. Why is scribbling lines on a paper (that look like math to humans) 'more' of a proof than visual diagrams, if at all?

You seem to be focusing on the representation of the proof in a particular notation, rather than the actual logic of the proof.

The graphical demonstration leads to false conclusions. For example, if a=0, it implies that a^2 - b^2 is 0 (or it requires some unfamiliar graphical representation of negative areas)

4. If you came across a proof that was persuasive to alien intelligences -- and led them to conclude true things were true and false things were false -- but, alas, you did not understand it, does that make it less of a proof?

Again, the representation is not the proof, it is a means to record or communicate the proof.

If the representation implies that false things are true (e.g., if a==0), then it is not a proof.
Modern x86 cores can decode 9 variable length instructions per clock. It’s not easy but can be done.

RISK-V C instructions are on the other hand are trivial. All compressed instructions are 1-1 translatable to uncompressed instructions. People have measured the cost of adding C extension decoding as being a few hundred GATES.
This is really simple and approachable. Reminds me slightly of Forth or subleq.

https://colorforth.github.io/index.html

https://en.wikipedia.org/wiki/Forth_(programming_language)

https://github.com/davidar/subleq/blob/master/README.md
Course not. I can make the judgement call "this is good at German" by virtue of all the Germans around me using it.

(Conversely, I'm told it's quite bad at, say, Chinese — though mainly by people online, as there aren't many native Chinese speakers in my life right now).
To my naive mind, YJIT is like a native numba for Ruby. Very cool.
With the example, "Add RBAC to my application", I’ve had success telling the LLM, “I want your help creating a plan to add RBAC to my application. I’m sending the codebase as context (or just the relevant parts if the entire codebase is too large). Please respond with a high-level, nontechnical outline of how we might do this.” Then take each step and recursively flesh it out until each step is thoroughly planned.

It’s wise to get the LLM to think more broadly and more collaboratively with questions like, “What question should I ask you that I haven’t yet” and similar
Chip Cities Rise in Japan's Fields of Dreams
I'm getting the sense that Apple can't substantially innovate in hardware anymore. The M-chips were the last great thing, and there hasn't been much of a reason to upgrade an iPhone or MacBook Pro since. The M4's are a good bump from an M1 but that's about the normal lifecycle of a laptop anyway. The biggest 'feature' on the latest iPhones for me is having a soft-button for mute.

Apple might be missing something if they don't continue into wearables/AR, similarly to how MS missed out on mobile. What else have they got? Or are they happy to follow the MS playbook growing their ecosystem then sucking money out of it, and switching over to services-based revenue.

I hope Apple has more secret stuff and isn't being outdone by Meta (Facebook of all companies) doing VR/AR. I don't see any AI innovation, likely using other parties for the heavy lifting and only using Apple devices as clients or light loads. Their biggest moat (in AI) may be access to all the 'private' iCloud data.
Only partially related to the blog post, but...

The thing that is lost on me with all of these webcomponents solutions is that they inevitably rely on tagged templates to do the heaviest lifting.

I don't want to write strings, I want to write statically analyzable code. IDEs do some heavy lifting here for visual hints, and there are a few html-in-js linting solutions, but none of them are very compelling.
Car broken into at Apple Park's front door: "Sorry, talk to security"
I'm a Brazilian startup founder, currently on my second visit to Silicon Valley. Yesterday, my car was broken into literally steps away from Apple Park Visitor Center's main entrance. Not in some distant parking lot - right under their building's lights, at their $5 billion headquarters' visitor center.

They stole my MacBook Pro from the car. The irony of having your MacBook stolen in plain sight of one of the most technologically advanced buildings in the world isn't lost on me.

What followed was more disappointing than the theft itself. Apple staff's initial response was just "sorry about that" and immediately deflected to their third-party security team. No ownership, no protocol, no real support - just a quick handoff.

After spending hours dealing with police reports and arranging a new rental car (all extra challenging as an international visitor), and after multiple escalations, they finally offered a 15% discount on a new MacBook Pro. They emphasized this was a "one-off exception" that would never happen again. I had to take it since I need the machine for work.

This isn't about the discount. It's about one of the world's most valuable companies failing to have basic protocols for visitor safety and incident response at their flagship location. The gap between Apple's marketed values and their actual crisis response is striking.

Maybe I'm missing something here - am I crazy to expect better from Apple? Perhaps this is a cultural disconnect - in Brazil, even smaller companies would typically show more direct involvement and support when something like this happens to a customer at their doorstep. Is this level of corporate detachment normal in Silicon Valley?

Has anyone else experienced similar incidents at tech company headquarters? How do other major tech campuses handle visitor security?
I've been doing this for more than 30 years. Never seen one design doc. At least not one that was actually used to guide the subsequent implementation.
I've answered your previous questions to my satisfaction.
One of the challenges with this approach is answering "how much will it cost" and "how long will it take" - that being said, its often hard for non-developers to articulate exactly what they want without connecting it to something more concrete in the form of user interface.
So strange this comment got downvoted. It's reasonable and genuine, and doesn't seem to violate the guidelines.

The guy above though definitely hides something.
For starters, forbid behaviour and engagement surveillance. Without that data it would be impossible to fine tune the apps to be addictive for each individual. Just with that, it'd probably tackle most of the "device addiction". Then if you want to go the extra mile, consider forbidding things like personalised recommendations, infinite scrolling, auto-play-next, loots and even notifications on by default.
I like how the last paragraph completely oversells my photographing skills. The picture was not meant to be unique. It seems to always end with such a paragraph, even for dumb photos of nothing really.

“The photo's perspective is unique; it is taken from a very low angle, creating an unusual, almost childlike point of view. Another detail is that the photographer seems to have excellent timing as they captured the hand gesture at this precise moment. The lighting in the photo indicates it was taken during daytime, with the sun illuminating the scene beautifully. The contrast between the modern architecture of the building and the traditional costumes adds a rich cultural element to the photograph.”
I think it’s quite rare that a dataset is too large to be processed on a single volume. EBS volumes max out at 64Tb
What prevented you from reading the page?
8086, 80286, 680[01]0 all had a 16-bit word size and could only access RAM at 16-bit granularity (I/O is a different story). Of course they had the ability to extract just a byte as well.

68000 generates a bus error if you try unaligned 16/32-bit access.
It uses a privative license if you're wondering.
As the post discusses, being unable to differentiate between the specific VOCs being detected makes these sensors, IMO, a net negative in home air quality devices. Mine will spike for a long time from opening a single beer or a fart (lol), so it doesn’t provide much information about whether there are concerning chemicals present as well.
Flash Boys is essentially fiction. You might also enjoy "Flash Boys: Not So Fast," which attempts to debunk it.
I actually usually hit my Ctrl with the base of the pinky (ie: pad/palm of the hand) in a lot of cases.
I cross posted a reference to this on 2SB (https://twostopbits.com/) in case someone over there knows something that might be of assistance.
There's a ton of recent work on data curation / synthetic data generation that shows that smaller high quality datasets go a lot further than scaling up on noisy web data.

The scaling law plots are log scale so to get more juice with naive scaling we'd need to invest exponentially more resources, and we're at a point where the juice is not worth the squeeze, so people will shift to moving the curve down with new architectures, better curated datasets and test time compute / RL.

See:

- FineWeb: https://arxiv.org/abs/2406.17557

- Phi-4: https://arxiv.org/abs/2412.08905

- DataComp: https://arxiv.org/abs/2406.11794
I went through this trade off at my last job. I started off migrating my adhoc queries to duckdb directly from delta tables. Over time, I used duckdb enough to do some performance tuning. I found that migrating from Delta to duckdb's native file format provided substantial speed wins.

The author focuses on read/write performance on Delta (makes sense for the scope of the comparison). I think if an engineer is considering switching from spark to duckdb/polars for their data warehouse, they would likely be open to data formats other than Delta, which is tightly coupled to the spark (and even more so to the closed-source Databricks implementation). In my use case, we saw enough speed wins and cost savings that it made sense to fully migrate our data warehouse to a self managed duckdb warehouse using duckdb's native file format.
I would much rather have (even) a 1080p virtual screen glasses that I can plug into my USB-C phone without looking like a freak. Better yet connect it to an actual computer rather than media consumption device.
> the group was German, so I don’t know why the song is in Russian+English

Kraftwerk wrote and released both German and English versions of most of their music. For example, in Germany this song was released as "Die Roboter".

Occasionally they also mix other languages in their lyrics, another example on top of my head is the Numbers song. I assume that it makes them sound more international which helps a lot with the "futuristic" sound.
There's even a "hyperorganic" Rubik's Cube algorithm: the stereotypical organic algorithm solves the cube layer by layer, only pulling out the fanciest moves to get the last few cubies in place. The hyperorganic algorithm is intensely group theoretic, and starts by allowing any kind of movement, but then cuts it down: from any quarter turns to half turns only, etc. (apparently just at the time no legal moves are left according to the algo, the cube should be solved), and the distinguishing feature is that instead of having clear progress layer-by-layer, it still looks mostly, inscrutably, scrambled until almost the final steps, when it suddenly "crystallises" into a solved cube.

Lagniappe: https://www.youtube.com/watch?v=K-yTrFDHpbw
Don’t have kids, can someone explain what do you mean by banning phones in school? Do normally kids keep phones on them during class ? How can anyone study? If i had phone on me during my school days, I would just keep playing games all day.
Yes thanks :p I used to be extremely uncomfortable in social situations so I have to reflect a lot.

I don't like having a lot of attention on me but that actually works great because people love talking about themselves. In group situations I try to identify super extroverted people and people with a high energy level that day and bounce random stuff off them to get the ball rolling, they will entertain the group. Then I'll single out a low-energy person and get them talking about their life.

But that's just what works for me. It also sounds weird and formulaic when I say it like that but it's not a premeditated thing, I just natually act that way.

Probably the most important thing when hosting is to project that you enjoy having these exact people around at this exact moment. If you can get yourself into that mood good things will follow. It's easier with people who fit into your dynamic.
https://github.com/KingMichaelPark/dotfiles/tree/main/nvim/....
(Forgot the link)
Yet another instance of how people view the biosphere as a resource to be exploited for their own monetary profit and short-term benefit. That type of logic and thinking is a dead end. I've never had a silk robe and I doubt I would be any better off if I did have one. I'd much prefer clean air, water, and unpoisoned land for growing nutritious food.
There is not much to show if I can’t read the source code.
What is a is positive and b is negative? How do you extend the visual proof?
Heroin: Killer of a generation is a project to remember people who died of heroin-related overdoses in Palm Beach County, Florida, in 2015
Video I'd Personally Eradicate Retroactively
You become manually adept by practicing.

And of course, people who physically can't write need to have specialized curriculae. Just like we have them for deaf or dyslexic kids.
Strictly my personal experience by age has often been an obvious impact on one’s capacity to make decisions free of ego or insecurity. Especially for those under 30.
A 486SX never delegates floating point instructions, the 487 is a full 486DX that disables the SX and fully takes over, you are thinking of 386 and older.
Yes, and it's actually pretty rampant in my own current city, it's been a huge sore point for years with activists. The chilling effect is that resistance becomes that much harder as the authoritarian ratchet tightens. When the movements of people can be tracked en masse via some panopticon, it is very easy to prevent them from organizing into any real threat against the incumbent.

Here's an example from just last month in my city: https://www.wbrz.com/news/license-plate-readers-popping-up-a...

Crime, etc. are always the reason given. But my city has repeatedly shown they cannot be trusted with these kinds of powers.

Here's more information from the ACLU on this exact topic: https://www.aclu.org/news/national-security/chilling-effects...

> Knowing or suspecting that we're being watched can stop us from engaging in certain kinds of behavior, even when it's perfectly lawful. For example, it might affect our decision to go to a certain barber (what would my other barber say?), meet up with a friend (what would my mom say?), eat at a restaurant (what would my trainer say?), or take the scenic route (is it suspicious that I'm not using my normal route?)

Keep in mind that just a few decades ago we had the Red Scare. We harassed and ruined the lives of people over thoughtcrime, for simply supporting the notion of alternate economies or just accepting those who did. Imagine the scope of that if we'd had the surveillance network that we do today. And there is no indication that we won't have a similar event in the near future.

Lastly, I know your question is in good faith and thank you for asking for clarification. That said, it's important to consider that manufactured normality isn't a valid reason to not question authority. It's quite easy for Corpgov to do anything at scale long enough that new generations are born into it and wholly accept it without question.

All expressions of governmental authority must be constantly challenged and defended, and any possibility of chilling effects should be investigated thoroughly, time and again. This is our duty as The People, the fourth branch of the government. This is the critical check and balance which keeps things from becoming irrecoverably fucked.
I agree with you that it isn't necessarily net-negative.

I cannot begin to tell you how much more respect and care I give to the road and cars after witnessing so many videos of how violently and suddenly car accidents can take a life. Many of the horrors of these videos are burnt into my mind and I am confident this is for the better.

We live in the real world. It is important to see the real world as it is.

There are if course mental health limits to this. I never want to be desensitized. But in moderation I think it can be net-positive.
The whole Wayland experience has been experimental
Nice write up. I don’t think the comments about duckdb spilling to disk are correct. I believe if you create a temp or persistent db duckdb will spill to disk.

I might have missed it, but the integration of duckdb and the arrow library makes mixing and matching dataframes and sql syntax fairly seamless.

I’m convinced the simplicity of duckdb is worth a performance penalty compared to spark for most workloads. Ime, people struggle with fully utilizing spark.
It's possible that the discipline of psychology has something to offer you and you've simply seen a few bad psychologists. (There are plenty of them.)

If you ruminate a lot I would look into cognitive behavioral therapy and its variants and think about how their principles can be incorporated into your ruminations. The TLDR of CBT is it involves analyzing your negative thoughts critically, rationally and systematically in writing. Often when we do that the thoughts lose their emotional hold on us, even if some of them are true.

Avoiding may be better than ruminating, but processing is better than both. I spent way too much of my life thinking that ruminating was worthwhile on its own and eventually realized it is not unless you structure it narrowly and productively.
From my personal experience the lack of SSR is one reason I don’t use web components. But that said there isn’t a particularly persuasive case to use them either, other than it being nice to use standards.
A bit confused by the goto and skip instructions. Why multiply by 4 in one, but not the other? Sounds reasonable that both keep the target address a valid instruction pointer (aligned to 4 words)?

Adding two words to create an address is a fun variation of segment pointers, but even more wasteful than x86 16-bit segment+offset pointers (not a complaint, just an observation).
A design doc would help narrow down the number of prototypes to 2 to 3 in all the available options. This is especially useful if you are exploring adding something completely new.

Though i feel that showing is better than telling, when new people onboard they have a easier time understanding via a design doc than code.
Does anyone have a design doc format that they prefer for backend development? We’ve been working with ADRs, is that similar or the same as a design doc?

PS. I like the approach. Sounds like something I read before where devs would throw away their code everyday until they were satisfied with the result.
Tiny Black Holes Could Have Left Tunnels Inside Earth's Rocks
Attention Span Has Decreased by 25% Since 2005 – I Made an App to Revive It
Short-form content like Shorts, Reels, and TikToks promised quick entertainment, but for me, it led to endless scrolling and a shrinking attention span. It felt like my brain was on a downward spiral.

To break free, I built Block Scroll — an app that blocks short-form distractions while letting you enjoy the useful parts of your favorite apps. Now available on the Play Store, it helps you stay focused and make better use of your time.

This journey began with a Chrome extension to remove YouTube Shorts, which grew to 30K+ users (https://chromewebstore.google.com/detail/remove-youtube-shor...). But I realized that the real challenge was on mobile, where these platforms are most addictive. So, after months of development using Java/Kotlin and Android Accessibility APIs, Block Scroll for mobile was born.

I’d love to hear your thoughts on the app’s functionality, user experience, and any ideas for making it even better!
Uh, even the 3080ti had 12GB RAM; in that generation only the 3090 had more (24GB). The 2080 had 8GB.

Just a nitpick; the guess is sound (though I would expect 4GB to stay for the office PC market), and obviously only time will tell what they'll really be doing.

OTOH don't underestimate the power of artificial market segmentation - "oh, you want 16GB VRAM? Too bad, get a xx60 instead of a xx50. After all it's just 25% more expensive!".
Dogs are communicating via button boards, research suggests
someones been watching too many movies
They hate hairspray too. Lol.

Peaks out all sensors in my building in the morning.
To keep things simple maybe just handle that using emulator save-states instead?
> The phone itself is just a computer. Using the phone to write, help with homework, or communicate doesn't seem to be the problem.

If you want children to learn to be able to write, you have to get them to do it themselves. Not with a computer, not with a phone, not with ChatGPT, with a piece of paper and a pen(cil).

They may not like this(!)
> Most web applications that use components of any sort are largely SPAs

How did you get to that conclusion? Honestly asking because my hunch is that it would be the opposite.

> I'm yet to see a strong case being made where web components are favorable for a reason other than purism.

IMO it's wrong to see web components as a universal solution to all client-side use cases.

Web components are amazing for distributing widgets to third party users. From users authoring HTML in any number of environments to a way to plug modern JS stuff into SSR backend frameworks.

Back in 2016 I worked in library of widgets for interactive education ebooks. People producing the ebooks could barely write HTML so being able to add interactivity with configurable custom tags was extremely easy for them. Currently I'm working in an embeddable and customizable audio player with web components. Typically you'd use iframes which are quite heavy and have serious limitations. In both use cases, web components were the right choice.