skysight-inc/HackerNews huggingface dataset:
I assert that necessity is self created.

The Romans made themselves your boss. There was no "rational" necessity.

Bosses come into existence by will, not logic.

The world is irrational. Strawman are legitimate forms of persuasive argument, logic is for Spock.
There have been no large scale public housing projects in a long time. The only time those were a thing, they were driven at the federal and state level. It's simply not possible for local governments to operate at the scale and expertise needed for this.

The world is larger than the US - state and federal level public housing can be done and it can be done well, and at a scale it's only way it can be done. The fact it hasn't in the US doesn't mean it's impossible.
Show HN: My Literate System Configuration
This is version 3 of my tinkering with an immutable configuration for my computers. This time around I used emacs' org + nixos to settle on this. The README is the single source of truth for my computer. It is then "tangled" into nix source files, which can then be used by nixos to build my system. This allows me to keep a living document as my system configuration, especially reminding me (hopefully) of certain decisions.
Every chest freezer that I have come accross in the last 20 years had a dial to control temperature all the way from fridge (~5°C) to deep freeze (~-18°C).

Beer fermentation is very sensitive to temperature, so a very common mod is to get a digital heat/cool temperature control and splice it into the electrics. The heat output is wired to an incandescent bulb or reptile heat pad or something thats placed inside with the beer fermentor.
Even school integration was largely motivated by red lining and even now by white flight.
> Ottawa has no shortage of land

Relatedly, post-amalgamation Ottawa is very big:

https://old.reddit.com/r/MapPorn/comments/fb3tzy/the_size_of...

This is also an interesting (if less relevant) Ottawa size comparison:

https://old.reddit.com/r/Suburbanhell/comments/ov59fv/round_...
> acknowledging that such DEI program was performative in the first place

Right. And being open about it is by design, so that the new Overlords (Trump and Musk) know that Zuck's heart was never in that DEI stuff anyway, that he just had to do it because of the political climate, and they can count on his whole-hearted support for the next 4 years.
Thats still a massive compromise that only suits for low population density like in oceans.
The government could give the spectrum to telcos for free. AFAIK spectrum was free (with reasonable usage restrictions) in the US for a long time.
Is that microsoft C--?
I guess. It may have been a county thing; but it was the first time I'd ever heard of elevator cables being made out of anything but wire rope.
IMO framing any discussion around pay2win is missing the forest for the trees and playing into publisher's hands.

On Gamebanana (formerly FPSBanana) you'll find a million pieces of non-P2W content for certain games created for free.

Sure hosting the stuff is not free and has never been, but discussing the nuances of monetary addons is very far from the firsts of complaining about horse armor DLC or the distinction of extensions and addons, given that gaming was paid of gamers' own pocket for a long time.

The narrative is shifting/has shifted from a cultural to a consumerist artifact, exactly as intended.
Oh Phi-4's architecture is inspired from Llama itself, except they merged the attention matrices into 1 large matrix for better FLOP utilization, and the gate/up matrices in the MLP.

Phi-3 use to use sliding window attention, but they got rid of that in Phi-4.

So, you can "Mistral-fy" Phi-3 and convert it to Mistral arch (by unmerging the merges), and now you can "Llama-fy" Phi-4 to Llama arch.

The reason why accuracy increases in finetuning is because during LoRA finetuning, you learn only 1 A matrix for merged QKV, whilst unmerging it creates 3 A matrices - this allows the model to have more freedom to learn new features.
America's attitude towards the rich is heavily qualified gratitude. Rich people tend to create lots of wealth. It's hard to argue Microsoft hasn't made America better. Same with Google, FB, etc.

But the rich are most likely to support effective political solutions (and be politely ignored).

Rich people have, in general, made America a better country, and there's a certain deference because of that.

But this isn't blind stupidity. The Sackler family is as unloved as the Manson family. But even folks who built their wealth in questionable ways (the Kennedys) tend to make America a better place.

I saw a video on Youtube where an American asked a Belgian where the "new money" families lived. The Belgian said "what are you talking about, there is no new money." Most Americans react in horror to that idea.
Yep converting to Llama arch definitely makes accessibility much better - also many fast LLM serving libraries normally support Llama, so it makes it easier to port and use!
I’ll meet you in the middle on this. Trucks have gotten big, no doubt.

I contend, knowing farmers who use their trucks for work every day, they can’t do their job without them.

So the question becomes, do we need regulation about who can buy a big truck? I contend that no, regulation just creates loopholes.
My grandfather wrote a short autobiography, just for his immediate family. It's a really nice thing to have.
The Online Guide to U.S. Map Collections
Okay, how about this program? It's a bit dated, but it comes from a country I hope you won't find as objectionable as the USSR.

https://en.wikipedia.org/wiki/Housing_Act_of_1949
This is very nice. I remember first watching Inigo Quilez videos and they are extremely impressive but this, obviously, gives a little more insight into making something work. Well done.
You still can buy Office standalone licenses with Classic Office (aka desktop apps). I got myself 2019 and 2021 versions (different OSes) and prefer them. However I've a personal MS365 subscription for business, I like permanent licenses for products more.
On a related note - I bought some permanent licenses for devtools, where they advertised subscription model only :) Directly reached developers and asked if it's possible or not. Works well for both sides - I probably paid for the tool more than their average subscription lifetime, but I've got few tools that I need to use occasionally but over a longer period of time - e.g. one tool I used maybe 10-15 times, but over a 7 years.
That does not work with bigger companies though :(
This sounds fabulous on paper. Are there any examples of moving unit tests to property tests? Are there examples for proving unreachability? Has anybody successfully managed to explain how this is applicable if you don't have a deep background in formal methods?

If we can't provide a pathway from where we are to a more formal world that is understandable to garden variety developers, it will remain an ivory tower occupation.

(And, in fact, things will get worse. Because in a world of LLM churnage, provable correctness becomes even more important)
Multi GPU support is definitely coming to Unsloth OSS! Our goal was to release it this month, but unsure on exact timelines - maybe next month!!
From my experience you can’t devote 100% of your time to getting back on your feet and search for jobs. If you have trouble finding a job it gets too depressing after a while and you need something positive where you actually see results.
Can you convert to ONNX so I can try in web browser?
German and Deutsch
Every single socially progressive initiative every company engages in is purely performative. If those initiatives potentially hurt their bottom line or hurt them politically, they will be dropped so fast your head will spin.

Years ago, tech companies would promote such moves to improve their image, play intot heir role as being "outsiders" or "disruptors" and to attract staff, who tended to skew towards socially progressive issues. There was genuine belief in the missions of those companies. Google once touted its mission "to organize the world's information and make it universally accessible and useful".

But now we're talking about trillion dollar companies that move in lockstep with US policy.

I tend to believe that every US company eventually becomes a bank, a defense contractor or both.

The biggest heel turn politically is probably Mark Zuckerberg, who now makes frequent donations to Republican candidates (and some Democrats, for the record) but we also have Meta donating $1M to Trump's inauguration (by comparison, there was no contribution to Biden's inauguration). Efforts of fighting misinformation are out. DEO is out.

If you work for Meta, you're now really no different to Tiwtter. Your employer now actively pushes right-wing propaganda and the right-wing agenda. There is no real support for minorities. But the sad truth is, every other big tech company is on the same path.
Apparently Indians don’t count as Brown.
It's not just that Trump is in power now. It's that Trump, unlike any US President before him (at least in the modern era) is highly and publicly vindictive.
I agree, the entire US political establishment is really problematic
Apparently there are a lot of people on HN that took the vaccine and don't want to hear the truth
Yep, assembly... but a royalty free, brutally simple ISA...

Wait... we have it... RISC-V.

But we need performant µArchitectures of all major use cases (server/desktop/mobile/etc) and that on the best silicon process.

If RISC-V is a success, no need for a µC, just go RISC-V assembly BUT... do not abuse that macro preprocessor, because if it is to move complexity from the C syntax to some macro preprocessor, that would be pointless.
> you now have states like Florida forcing changes to literature works and banning books entirely for religious and ideological reasons.

This is not honest. They're not banning any books, they are stopping school teachers from forcing certain books on children. The difference is immense.
Lol. Look up "yellow journalism" - why don't they view their jobs as a legacy of pandering to the rich and lying to the public?
Which population? FB hires from
everywhere in the world and sponsors visas. Having an employee base that’s 30% Chinese and 30% indian should thus be the goal.
Would like to update this:

https://huggingface.co/spaces/webml-community/phi-3.5-webgpu
This reminds me a bit of the murder, also initially called a suicide, of actor Sushant Singh Rajput, also a very intelligent young Indian man living in Mumbai at the time (2020).He was felt to be a threat due to his extreme talents, intelligence, integrity and innocence to the evil that surrounded him. Bollywood Mafia. Tragic.
My guess with this young man, now a hero, is that E.Musk set it up then donated 10,000. annon. to the family. People need to speak up publicly that this was NOT A SUICIDE. Protests in S.F. are in order. There needs to be an investigation.
I really wonder if these dogshit scrapers are wholly built by LLM. Nobody competent codes like this.
Since the Standard specifies what that does, pedantically it is not a bug. Ok.

But I call it a bug because it has no use and just pointlessly confuses people.
Not all animals are the same. Some have "evolved to evolve". Foxes/dogs/coyotes/rabbits have evolved to rapidly colonize new habitat and so can likely be manipulated more quickly than even faster-breeding animals. Part of this is a rate of mutation and part is a reserve of recessive traits from past environments that can be readily deployed again. Start with some black foxes and in a couple generations you will probably be able to breed white foxes. Start with black ants and you could go centuries without breeding a white ant.
Actually, these practices were mostly introduced under Trump, and ramped up with the Floyd protests, which also took place under Trump.
LOL at the “oh this” screen cap.

Based Zuck reeks of Justin Timberlake trying to act “gen z urban” on Hot Ones.
While I can think of at least five people I have worked with who were SDEs and black (two from Africa, three from I-don't-know-where-but-I-presume-American-born).
Lol, yep, good one!
It can be compassionate in other places, but I think the US has proven itself to lack compassion in some pretty essential ways.
Like eating meat? We've been doing that for millenia, yet somehow there's grass roots vegetarian and vegan movements all over the place.
Suppose you have table with two columns to represent a classroom’s exam scores. It has the columns student_id (varchar) and score (int).

If a student is sick and has not taken the exam, yes you could enter -99 to represent they did not take the test. But if you want to find the class average, you would have to do something like this:

select average(case when score =-99 then null else score end) as class_avg from …

Or you could have entered null to begin with.
Coming from another continent, it feels the discourse in the US is poisoned by the word RACE. Back home, no one uses it. The best proxy for inequality is poverty. Make poor people richer with basic support like free education and health care. Tax the richer. That should solve the problem. If you wonder about woman, create support for working mum with after school program and free baby care. Sorry to state the obvious.
I don't think that's true. Traditional can also carry the sense of ongoing.
How on earth did you get from "a wooded road at night without any other cars around" to "on all the time"?
> I don't see them as different to any other company, really.

My point was in response to this. The idea is the available pool for a specific job may not match that of the general population. Different companies have different ratios of different jobs. So, assuming all things are equal, the diversity at different companies can only match the diversity of the qualified pool of workers. In that sense, different companies will be different.

For example, according to those statistics, Costco should be more diverse than, say, Netflix.
Are you referring to the finetuning part?

The multiple bug fixes are separate from the finetuning sections - Unsloth itself makes finetuning 2x faster and use 70% less memory - the bug fixes are totally detached from finetuning - ie you can take the fixed version we uploaded at https://huggingface.co/unsloth/phi-4, and use it in any framework or inference engine.

Apologies I'm confused on the comment sorry.

If you're questioning the credibility of the bug fixes - we fixed 8 bugs in Gemma https://x.com/danielhanchen/status/1765446273661075609, multiple bugs in Llama, Mistral, Qwen, a gradient accumulation bug https://x.com/danielhanchen/status/1846235913443262891 and much more
Coming from the other side, you can make traditional kimchi fried rice and top that with mozzarella and run it on microwave for 30 seconds (or put it in an oven if you want to be fancy). Perfect match.
> As a simple example, who is standing up for the LA fire chief?

Why should anyone stand up for her? She is doing an objectively bad job. If you’re the fire chief and your entire city burns down, you will rightly catch flak for it. You had one job.
> What matters is that the fields are open to anyone with an interest

except that it's not, which is the problem that DEI initiatives tried to compensate for
I was able to find it instantly, but that's because I always use curly braces for my if/while/for loops.
Finland elected the most right-leaning government in the history of the country in 2023. A lot of the education, social, and healthcare system is facing deep cuts at the moment. Economy has not recovered from the fall of Nokia around 2010, so needs for social services would actually be growing.
Wow. Very impressive work and a very readable and interesting summary. You should be immensely proud.

Personally, it is reassuring to know there are still people out there capable of doing such complicated and quality work. After seeing my 1000th $19/month thin wrapper over uncredited AI, I had doubts.
I still love that game - and this is a thing of beauty. Thank you for sharing.
Forking JS packages is easy so I would say those engineers lack passion. Not uncommon unfortunately.
Pretty sure water was just a teleporter? You may be thinking about the mirror effect? I think that was a kind of a portal effect. You had to make a large empty section behind each mirror that was used by the engine to render a mirrored copy of things in front of the mirror.

You could make some weird impossible geometries by just superimposing sections. Two sections could occupy the exact same coordinates, but movement and rendering were done across edges shared by sections and did not care about if there was some other section in the same space. As long as there was never a way to see those sections at the same time.
Both the progressives I know and the conservatives I know are pretty tolerant of dissenting speech in that they disagree with it but don't advocate for it to be silenced.

But at the same time, both the progressives and the conservatives who are active on political social media (take your pick of platform) are very likely to actively attempt to silence the opposition and punish them for speaking.

It's less a political divide and more that most people are still tolerant of dissenting speech, so the people you know in person will tend to be tolerant. There's a loud minority that's vocal on the internet on both sides that advocates for silencing others.
>Seriously, sell your microsoft stock

Alas, the stock's future performance is unlikely to be tied to any of that. Stock prices are barely attached to reality at all.
> Now if only the US (and others) would get their act together and build out a backup system to GNSS

They are moving towards quantum navigation (esp subs)
Is it "just" a problem of a few missing definitions? It reminds me of like a class that has a hundred fields and subfields and lambda types that each have their own hundreds of fields and subfields and lambda types, etc. Typically you can pull out those things, give them a name and independent existence, and the whole thing makes more sense when complete.
Apparently Edo (now Tokyo) had a population of one million in the 18th century.

Always amazed me how they could pull that off. Japan was a very regulated society which must have helped with the chaos but Japanese people go to the toilet just like everyone else...
I cannot believe (well, I can!) that 10,000 by xkcd is unknown to so many people that it's going to be news to them when they look it up.
"single parent households" are precisely why these levers are important: among other things, they help reduce the disadvantages some kids have due to being raised by an impoverished single parent, and gives those kids a leg up in a way which will foster more stable home life and less likelihood of themselves becoming single parents.
It’s an ourobouros of influences: the Husky creators left DD to make Warpstream, Warpstream inspired Quickwit, and now Quickwit is joining DD.
.. definitely not for me. I just descend into progressive unconsciousness, dreaming starts way later when I'm already out cold for an hour. Not once have they started when I was falling asleep
Did you try updating Docker Desktop to 4.37.2? That should fix this issue.
"flowery language?" It's just a regular sentence with regular words in it.
Equality of outcome is implied by equality of opportunity. Or, more specifically, because outcomes are proportional to opportunity, there is only so much that can be explained by variability in knowledge, effort, or circumstances. When the system consistently hands out bad outcomes to one group of people, it's reasonable to at least assume there is analogous bias in the opportunities that were presented to that same group.

In other words, equity and equal outcomes are not a goal, they're a heuristic. Same as how logical fallacies, while wrong, are still valuable heuristics.

My read on the past decade is that most DEI programs were adopted in blue[0] spaces primarily to redirect Progressive voices away from questions of economic justice and elite control. That is, businesses virtue-signal the most tolerable Progressive politics in order to distract rank-and-file Democratic voters away from questions like "isn't it fucked up that Mexico is basically a perma-scab to bust unions with" or "why are we just letting Facebook buy up all the social media".

To be clear, you're right that these companies want to engineer society from the top down. But it's not about handing out high-paying jobs to the unqualified for the lulz, it's about making Facebook into the new Boeing - a company that is so integral to the operation of the state that shipping software that murders people is considered an excusable mistake. If that means Facebook has to change political alliances every so often, then so be it.

[0] As in, "aligned with the Democratic Party leadership", not "left-wing"
Yawn. Focus on being a great dev and not what your skin color is. I couldn’t care less where your ancestors were from or whether you have a penis or a vagina. If the code is good, let’s merge it. If it sucks, delete it.
That is technically correct, but we also pay for the data through the nose. I use two mobile providers here in Tanzania. From one I got a dedicated data SIM card, where I pay 1000TZS (40ct) per GB (the normal price listed on the website is double, but for some reason there is always a 100% bonus included). The other is a regular SIM card where data costs 2000TZS (80ct) per GB (occasionally they offer a bonus where i get an extra 1.5GB for the same price). In Uganda earlier I paid $8 for a 12GB package.

If you need a lot of data then a wired connection is a lot cheaper. If you can get it, that is. Fiber is only available in large cities. And even there, only in areas with enough demand to make it worth putting in the cable.
As far as I can recall set theory axioms are really basic, dunno if the type theory axioms are really basic too.
And yet they did dedicate some resources on it, until now. Which basically is my point :)
Docker Team has released a patch that fixes this issue. Update your Docker Desktop to 4.37.2 to get this issue fixed.
> people talk about Google getting worse is, is the Internet just getting worse? Maybe it’s both?

I've had a lot of experiences where I've inputted a search in Kagi, gotten crap results, tried the same search in Google and gotten the same crap results.

It's starting to feel like the internet is getting worse. Either that or I've been too coddled and I expect direct answers to my questions.
> Lisp would have been really good relative to BASIC interpreters at the time

I see no evidence for that. Lisp was a pain on tiny machines with bad user interface.

> 64K is solid for a Lisp if you own the whole machine.

I had a Lisp on an Apple II. It was a useless toy. I was using UCSD Pascal and Modula 2 on it. Much better.

I had Cambridge Lisp on an Atari with 68k CPU. It was next to unusable due to frequent crashes on calling FFI functions.

The first good Lisp implementation I got was MacScheme on the Mac and then the breakthrough was Macintosh Common Lisp from Coral Software.

> Had one of the Lisperati evangelized Lisp on micros

There were articles for example in the Byte magazine. Lisp simply was a bad fit to tiny machines. Lisp wasn't very efficient for small memory. Maybe with lots of work implementing a tiny Lisp in assembler. But who would have paid for it? People need to eat. The tiny Lisp for the Apple II was not usable, due to the lack of useful programming environment.

> Alas, they were off charging a gazillion bucks to government contracts.

At least there were people willing to pay for it.
Oh I can probs try doing this!
I'm certain patching a package is less work than rewriting a project. You should do whatever your heart wants though.