skysight-inc/HackerNews huggingface dataset:
Thank you. It is kinda like Tetris, blocks falling constantly. you have limited time to get strong and destroy blocks.

i struggled greatly on balancing. My solution was to make director behind the scenes to make sure player never gets bored. Downside is; game is quite hard for non breakout players. Aiming is crucial.

i did release the demo on itch.io
But it lacks some features. i will update it tomorrow.
You know what I really want?

Rosie, from the Jetsons.

I want a physical robot to do domestic tasks. All the things that Alexia+ automates are things that don't take much time, nor are things I want to hand over to AI.
Huh, this is kind of like other trivial objects in mathematics (typically the empty object and the universal object). One trivial property is "this program computes what this program computes" while the other trivial property is probably "this program computes something".

Although these are themselves only trivial in a programming language in which every string represents a valid program.
Is not having your phone on you at all times worth spending money on a stupid speaker device? And you need one in every room you spend time in?

Like, the solution is to put your phone in your pocket. I don't get it. Unless you are walking around naked most of the time, the solution is a device you already own.

That's something I like a lot about Apple's smart home setup having the option of having the Apple TV as the hub. I don't want or need a smart voice command speaker considering I already own the hardware capable of such things. I have no use for a low quality shitty speaker device that sits there and does nothing useful besides take voice commands.
No, I will not stop saying true things.
You don't hear about it much because it won. The developers mostly moved over to Wayland, it's the default in most places now, most (not all, sure) workflows Just Work, and often work well... dunno where you get the idea it failed as a replacement. It took a decade and a half, but it finally landed.
Looking at the license (MIT) we already got much more than what we paid for and the authors don't "have to" do anything but accept thanks of those who chose to be grateful for software they got for free.
The editor flew too close to the sun and got their title clipped :(
Submission prompted by the new Firefox privacy notice https://news.ycombinator.com/item?id=43185909
Customer satisfaction is not a number Google counts
Birth control pill is associated with reduced interest in competition
So far only one of these two ideas sounded not entirely deranged to the good people of YC.

So there is at least (and, perhaps, also at most) a sociological difference.
I've been meaning to put some comparisons together!

Bruno is also a good local-first client but leans more toward Postman's market.

The main advantage Bruno has is the ability to run tests, and a CLI to do so.

Yaak supports more protocols (eg. gRPC and WebSocket), has plugins, and more powerful templating for doing things like generating UUIDs (also extendable via plugins).
I used to participate in discussions long time ago, but I've mostly been a read-only guest. I lost access to my original account many many years ago. Maybe one day I can talk to admins to see if it can be mined from the archives :)

Why read-only? I never posted anything online anywhere other than my own websites or blogs, and actively avoided social media mostly due to personal privacy and freedom concerns. Worth it? No :)
Heavy marine construction with my brother driving steel sheeting and pouring concrete caps hah
Former Intel board members call for spinoff of Intel fabs instead of TSMC sale
I suspect the technical interview devolves into an act of shunting the blame of potential bad hires away at some places. Elite credentials and leetcode shibboleths serve the same purpose: this person has checked the boxes we've agreed upon as important in the hiring process, regardless of the job duties. If they turn out to be a bad hire, who could've known, esp. with that Ivy League bachelor's degree?

It's less the tree operations themselves and more that this candidate just didn't know the shibboleth, so they shouldn't be allowed in. Cue the vague feeling of disgust on the interviewer's part that the interviewee didn't know something "so simple" in a tense environment with lopsided power dynamics.
Thanks. It looks pretty decent. And more important is the first one being just a reader/viewer not an editor with preview.
Why legacy .NET projects fail
Like working with dotnet from f#?
"According to the United Nations’ 1967 outer space treaty, space and the moon are “not subject to national appropriation by claim of sovereignty,” and as such poses a loophole for data sovereignty laws."

That will probably work about as well as the proposal to put a data center on Sealand [1]. Or Cryptoland. Or Satoshi Island. Or Blueseed.[2]

Or the Space Kingdom of Asgardia, which launched a successful satellite with some data storage in 2017.[3] That lasted until 2022, when the satellite re-entered.

[1] https://en.wikipedia.org/wiki/Principality_of_Sealand

[2] https://en.wikipedia.org/wiki/Blueseed

[3] https://en.wikipedia.org/wiki/Asgardia
What do you do to build context?
Presumably that would only work for the wall-eyed (diverging) images given at the bottom of the screen, the cross-eyed (converging) images given throughout most of the article wouldn't work with this technique.
> only stores the compiled representation

That seems to be a common misunderstanding.

Smalltalk implementations are usually 4 files:

-- the VM (like the J VM)

-- the image file (which you mention)

-- the sources file (consolidated source code for classes/methods/variables)

-- the changes file (actions since the source code was last consolidated)

The sources file and changes file are plain text.

https://github.com/Cuis-Smalltalk/Cuis7-0/tree/main/CuisImag...

So when someone says they corrupted the image file and lost all their work, it usually means they don't know that their work has been saved as re-playable actions.

https://cuis-smalltalk.github.io/TheCuisBook/The-Change-Log....

> Is this the best way to build applications? Almost assuredly not.

False premise.
Sure, but that was because that was an arbitrary restriction on the problem dirac solved.

Still seems a fairly simple variation once you remove the arbitrary restriction. To the point:
I don't believe for a second that anyone familiar with his solution, asked to make it more bit efficient, would not have come up with this. Nor do I believe they would call it anything other than a variation.

That doesn't make it less cool but I don't think it's like amazingly novel.
We build the most sophisticated AI in the world to open Spotify app instead of pressing Play on a phone
So tired of medium.
The kernel did find a way to balance these things. Nothing is being rewritten in rust (nothing core, some modest drivers have been). Hellwig didn't have to worry about Rust at all, could have kept doing his thing.

If we accept this as the core concern:

> Having worked on codebase like that they are my worst nightmare, because there is a constant churn of rewriting parts from language A to language B

Then he has no need to fear, nothing in the foreseeable would have affected him in any way.

He didn't like that he didn't have control over what other people elsewhere were doing. But there was an extremely generous balance offered him, to be utterly unaffected in any way. And that wasn't good enough for him.
Same exact thing, now we know that we have to say the full announcement the second time we trigger Alexa.
> base45 is less efficient

Not according to my math:

Numeric: 1000/1024 = 98%

Alphanum: 2025/2048 = 99%

Byte: 191/256 = 75%

Kanji: 13/16 = 81%*

Alphanumeric is the most efficient QR code encoding mode.

(Just to further make this clear, for QR Byte encoding uses ISO/IEC 8859-1, where 65 characters are undefined, so 191/256, which is ~75%. If character encoding isn't an issue, than byte encoding is the most efficient, 256/256, 100%, but that's a very rare edge case. Also, last time I did the math on Kanji it was about 81% efficient. *I have not dug too deep into Kanji and there may be a way to make it more efficient than I'm aware of. I've never considered it useful for my applications so I have not looked.)
> How do you know it's not selected because it's the one with the most paid ads? Or reddit fake reviews? Or llm generated seo articles about it?

These questions apply to any review or recommendation, from anyone, not just LLMs. How did anyone find out about the product at all? Did they do rigorous testing before they made a recommendation? Is there shared understanding between the recommender and recommendee about desired level of quality or what the user intents that need to be satisfied are? Are they even speaking the same language? Is their concept of "red" the same as ours?

At some point, you have to make a decision and buy with imperfect information, and treat it as an experiment. If it's not right for you, then return it for a full refund from Amazon. This is unfortunate. It costs money, time, and adds lots of friction to the whole process.

Maybe advertisers or manufacturers should post quality assurance bonds for their products, in addition to money-back guarantees or easy returns. Upon receiving a lemon or dumb product, you would return the item and activate the arbitration/bond clause and possibly get money out of the posted quality assurance bond.
This is a gripe I have with my current work project. All project scripts are written as bash functions and the convention is to just source a huge bash script to have them all available.

As the project has grown these bash functions have become more and more esoteric. Discoverability is not as good as could be expected from a cli tool with subcommands and simple help strings.

Additionally, I've found this setup has caused issues with various tooling that an executable cli tool would not have. For example, zellij layout commands do not run through a shell so you cannot specify a bash function/alias as a pane command.
Every time I look at one of their demos, I want to cry and say "I want this to be real". And then years pass, and there's another demo, and I'm re-reminded. This is more than vaporware, to be sure. But it's still nothing I can use in my day-to-day. Yes, it's research. It still makes me sad to see a possible future but no clear idea as to when it could become real.
If you ignore syntax and pretend that the following is a snippet of Java code, you can declare that a variable x always holds an int, like so:

var x: int = y + 5

Here x is the variable being defined, it is declared to hold values of type int, and its initial value is given by the term y + 5.

In many mainstream languages, types and terms live in distinct universes. One starts by asking whether types and terms are all that different. The first step in this direction of inquiry is what are called refinement types. With our imaginary syntax, you can write something like:

val x: { int | _ >= 0 } = y + 5

Once again, x is the variable being defined, it is declared to always hold a value of type int at all relevant instants in all executions, and that its initial value is given by the term y + 5. But we additionally promise that x will always hold a non-negative value, _ >= 0. For this to typecheck, the typechecker must somehow also confirm that y + 5 >= 0.

But anyway, we have added terms to the previously boring world of types. This allows you to do many things, like so:

val x: int = ...
val y: int = ...
val z: { int | _ >= x && _ >= y } = if x >= y then x else y

We not only declare that z is an integer, but also that it always holds a value that exceeds both x and y.

You asked for the type of a function that multiplies two numbers. The type would look weird, so let me show you an imaginary example of the type of a function that computes the maximum:

val f : (x : int) -> (y : int) -> { int | _ >= x && _ >= y } = ...

This doesn't really get you to the maximum, because f might be computing max(x, y) + 5, but it does show the idea.

The final step in this direction is what are called full-blown dependent types, where the line between types and terms is completely erased.
I hope this doesn't sound aggressive, but I'm a little confused. What specifically are you launching today?
I can already see Alexa+ acting like this when someone says they are hungry:

https://www.youtube.com/shorts/Oa8s07agHeY
Threading is another case. The Asahi's gpu Tust driver was able to avoid a lot of threading issues because of Rust.
Just so you know I did the soldering fix and its been working just fine for me, for w/e that's worth to you.

Also you're welcome! They have been pretty hit or miss on pushing updates to LVFS so I absolutely understand why you might not have known.
Very cool! If you have more examples / schemas you'd be interested in sharing, feel free to add to the `contrib` section.
I'm from Skopje myself and I see this building often as I bike to work or go anywhere near the center.

As you get closer to it, the post office stands out and the tower is the one thing that always catches my attention in a sea of blandness (not to complain as these old apartment blocks are nice to live in, I live in one myself).

The windows become orange and it feels like a villain is plotting his world domination somewhere up there. The type of villain whose plans never succeed and his tower is beginning to crumble.
The majority is coding in an IDE with Claude. It outputs results that I can validate immediately. There are lots of wrong answers to be tossed out but it's still a large acceleration over just docs and stackoverflow.

I can understand the skepticism if you use it in a context where you can't independently test the answers, so you can't filter out the trash. But it's a big level up when you can.
I own a lot of photo books and highly recommend them. Nothing is more inspiring to me. The YouTube channel "The Photo Book Guy" is worth a look too. I also like "The Art of Photography."

The Magnum courses look interesting. Do you find the are generally worth the price? Do they ever go on sale?

https://youtube.com/@photobookguy1380

https://youtube.com/@theartofphotography
Right, but the full versions are as easily downloadable directly from Microsoft.

https://www.microsoft.com/en-us/software-download/windows11

https://massgrave.dev/genuine-installation-media
now we have a benchmark
How many security holes are caused by not sanitizing inputs, as opposed to memory safety? It feels like not sanitizing inputs is what enables memory safety exploits, in addition to many other classes of security hole, yet nobody seems to talk about it.

- Buffer overflow: somebody didn't sanitize the input (length of buffer).

- Stack smashing: somebody didn't sanitize the input (length of input).

- Format string vulnerability: somebody didn't sanitize the format string data.

- Integer converstion vulnerability: somebody didn't sanitize the integer input.

- SQL injection: somebody didn't sanitize the input before querying a database.

- Cross-site scripting: somebody didn't sanitize input and it got submitted and executed on behalf of the user.

- Remote file inclusion / Directory traversal: somebody didn't sanitize an input variable leading to a file path.

...and on, and on, and on. If people were as obsessed with input sanitization as they are with memory, I'll bet you a much larger percentage of attacks would be stopped. Too bad input sanitization isn't sexy.
Was just coming here to say this, there does not yet exist a multimodal vision LLM approach that is capable of identifying bounding boxes of where the text occurs. I suppose you could manually cut the image up and send each part separately to the LLM but that feels like an kludge and it's still in-exact.
Sees Lain's face
Not really interested until this can run locally without api keys :\
This is so disingenuous. Echos are nowhere near $100 at the baseline, no one is buying it JUST for the timer, and no one finds setting a phone "excruciatingly difficult". Calm down.
Very weird pitch. There are datacenters in nuclear bunkers and all the major providers let you do redundant copies across continents.

So what exactly is the threat model here? Astroid pulverises earth but moon somehow stays ok?

>it’s impossible to accommodate all potential customers in any one location, except in outer space

Extra territorial jurisdiction is a thing so don't think outer space treaty on sovereignty will help. Could just as well put it on the antarctic and that works better on cooling too.

It's cool as an experiment ofc but doesn't seem to make any sense.
Makes sense. Hormonal birth control tells the body it’s pregnant when it’s not. If faux pregnant, competition is irrelevant. Good study.
Just ship all that heavy coolant up there first
We convert to a JSON schema, but it would be trivial to convert this to yaml. There are some minor differences in e.g. tokens required to output JSON vs yaml which is why we've opted for our strategy.
Chinese hackers siphoned off Belgian state security emails, report says
February 28:Economic Blackout Fight Corporate Greed
Exactly. People are acting like putting some music on is so damn hard, and that it's critical that we spend 100% of our time listening to it.

OMG if I can't control my music in the shower I'll literally melt.
> Is one a lot?

> Depends on the context.

> Dollars, no. Murders, yes.

The point is it's a pretty critical component, so "just one" is doing a lot to downplay how critical a component it is. If we get rid of that one component, you're nowhere. So calling it "just one component" belies how critical a component it is.

> I don't remember the last time I didn't upgrade all three components at once.

Thank you for explaining your perspective. If they're a single component in your mind, and not modular, then no wonder we have such a disconnect.
We can do bounding boxes too :) we just call it visual grounding https://github.com/vlm-run/vlmrun-cookbook/blob/main/noteboo...
Elephant in the room: Quantum computers will destroy Bitcoin
Someone had to say it. Maybe the current drop is normies finally waking up and realizing that extrapolated accelerating developments in quantum computers will break encryption used in Bitcoin within 5 years.

It's also extremely naive to assume it will be easy to transfer a massive decentralized project to a post-quantum algorithm. Maybe new cryptos will be invented, but Bitcoin will not "retain value".

Things that will retain value if the entire internet is broken due to rapid deployment of quantum computers will be:

- Real estate

- Physical assets (gold, silver, etc)

- Physical stock certificates (printed on actual paper)

- Paper money

Since internet, cards, finance may just stop functioning one day as quantum computers break all encryption.

Feel free to prove me wrong.
I think the culture of reading has degraded just about everywhere in the past few years, even I have to keep my Nintendo 3DS turned off on the bus otherwise I'd never get any reading done on fox mediumship.

I think two years ago if I posted a scientific paper link to Mastodon somebody would reply with something like "this is way over my head" which makes me a lot more inclined to post links to phys.org there where there is a good summary image (important on social) and where people complain less about the ads. [1]

I think back then there were probably a lot of people on HN who would think "this is way over my head" but wouldn't say it because they didn't want to look stupid in front of a group of presumably smart people.

Recently I see HNers who see a reasonably well written abstract that uses technical language say something like "this is incomprehensible gobbledygook" or "an LLM could do a good job of summarizing this abstract", etc. No talk about how "I can't understand it", but rather how science is broken, the world is broken, anything but the reader is broken.

Maybe it is ableist thinking but personally I am really annoyed with the startups that want to use summarization to turn all content into A.I. slop because reading is just too hard... It's like they think 75% of people have dyslexia as opposed to 25% and they don't feel like they have to mask anymore.

[1] My RSS reader subscribes to phys.org, but because of complaints about ads, I'm inclined to post a link to the original paper on HN, especially if the paper is Open Access.
This is how the Zerg from starcraft get created :p
You can! it works with Ollama https://github.com/vlm-run/vlmrun-hub

At the end of the day its just schemas. You can decide for yourself if its work upgrading to a larger, more expensive model.
Out of curiosity, why would ad-sellers be interested in this?
strong agree! so much of it boils down to "do you treat people good and stuff". then there's "do you treat yourself good and stuff", and then a tiny little fraction that's "can you work hard to get to an answer" and finally, least of all, "what do you know"
Trump annoys people that I dislike.

It says a lot about you and your morals that you dislike people annoyed by a child lusting rapist.
That's a tough one to answer right now, but to be perfectly honest, we're off by 2-3 orders of magnitude in terms of chars/W.

That said, VLMs are extremely powerful visual learners with LLM-like reasoning capabilities making them more versatile than OCR for practically all imaging domains.

In a matter of a few years, I think we'll essentially see models that are more cost-performant via distillation, quantization and the multitude of tricks you can do to reduce the inference overhead.
Never mind that a lot of the jobs that ask you to do this will mostly involve the conversion of database data to JSON or HTML with a few steps of business logic in between.

And the harder computational challenges you’d likely learn as you need it. In which case, simply knowing what a binary tree is means you’ll know it’s available to you, even if you can’t invert one from the top of your head.

And even then, start going for staff or principal and your leadership, communication and architecture skills should be more of a focus than algorithmic puzzle solving.
Previously: https://news.ycombinator.com/item?id=43182812
Some of them, not most of them. If there were more of them working at FB somebody would have fixed the problem that prevents me from registering an Instagram account by now.
We allow outgoing requests because a common use case of ForeverVM is making API calls or fetching data files (the "fetch and analyze data" button shows an example of this).

We give every repl its own network namespace and virtual ethernet device. We also apply a set of firewall rules to lock it out from making non-public-internet requests.
One is theoretically achievable using known materials. The other is theoretically achievable using unknown materials. That distinction might make a difference.
Yes. Meteorites are being systematically collected to get impact statistics in areas that are tectonically undisturbed. They seem equally good places: Antarctica, Atacama desert, Greenland. In terms of bandwidth and maintainance they seem preferable to the moon. See the Arctic Code Vault in Svalbard.
Inception AI emerges with a new type of AI model
Any more details on how you made it, tools, etc? It's a lot of fun and I appreciate the gitlab link, just curious about the tooling and process that got you to such a great point.
If you have a problem that requires and hour or a day to compute, then spending fifteen minutes for data transfer up and down (particularly in the face of lowered costs) is often a profitable trade. Movie studio render farms are a classic example of such compute jobs. Weather or geological resource prediction could be another. There are many such high-compute jobs in practice.
Bet you lag time will be a bitch