skysight-inc/HackerNews huggingface dataset:
> We converted Phi-4 to Llama’s architecture for better accuracy and easier use.

What does this mean? When I think about "model architecture", I think about the number of weights in each layer, the organization of the layers, etc. And AFAIK, it's untenable to "port" a model from one to the other without effectively retraining it. So what does it actually mean to "convert to Llama's architecture"?
Visualize How It Could Have Been Worse; Visualize How It Will Be Better
Righto. Everyone is saying the same thing so it's the cleanest data set you can get.
On lightweight formal methods, a favorite of mine that's not widely known is trace verification using Linear Temporal Logic [0].

Basically you just need to log events - which you can even have for free in event-driven architectures etc - and run some predicates on execution traces, e.g. "Always(Locked, Implies(Eventually(Unlocked)))", etc.

One can run it on historical traces, but also couple it to stress tests, fuzzing etc to explore the state space.

Quite simple, powerful and widely applicable, and doesn't require a model, just predicates.

[0] https://en.m.wikipedia.org/wiki/Linear_temporal_logic
Fix what things? And how are you fixing them?
You’re right, it’s all performative. Meta will do what it takes to keep regulators off its back and reduce friction. If Dems are in power then they’ll do fact checks and DEI. If they aren’t then they’ll get rid of it.

They’re like fair weather fans changing ball caps and jerseys based on the favored team. They’ll kiss the ring, throw some cash where it needs to be, make some meaningless changes that satisfy the current political party in power, and get back to making billions.
Edit - ok, I see the mistake. Thanks.

"Finland has the highest rates of detention per 100 000 inhabitants, about 214"

If by detention you mean incarceration, that is still shy of half of the US rate https://en.wikipedia.org/wiki/United_States_incarceration_ra...
Must be Microsoft, I don’t think Apple and Nvidia went hard on this
Ah that's unfortunate. I wish they kept everything in record at least.
> (Is it possible that you just find his explanations difficult to believe?)

Correct, I don't believe he's honest about his beliefs, their sources, and his motivation.
I really like this tree viz.

I built a “dimension grid” component along these lines last year.

https://docs.evidence.dev/components/dimension-grid/
We don't have shareholders that will blame us for the apocalypse just because we didn't pay to play.
Evaluating potential is difficult. Measure something that isn't in a thin history summary. Measure stuff you have an opportunity to see without human bias or algorithms that are easily gamed? Measure, what is a desirable outcome?

As someone who's been looking for a job that will take a chance on how I can grow to full their needs rather than already being a perfect match; I would really love someplace that had a 'career pivot' entry track and not just a recent / about to grad track.

Maybe something like a 1 week, then 1 month (3 more weeks), then 3 months (total), then every 3rd month evaluation track for working the job in a 'temp to hire' sense with a 1 year cutoff so they can't just keep hiring 'perma temps' like in the past.

I understand there's risks, and I understand it's very hard for both sides. However there's a ton of untapped potential and corporations are the ones who aren't offering a way of tapping it.
Of course it isn't really BASIC compatibility mode. In reality, it's an lesser-known array initialization syntax. It's explained here: https://jameshfisher.com/2016/12/25/c-array-literal-explicit...

In short, you can initialize an array like this, by specifying each element in order:

int foo[] = {10,20,30}; // initialize elements 0, 1, and 2

However, you can also initialize specific array elements:

int foo[] = {[50] 10, [51] 20, [52] 30}; // initialize elements 50, 51, 52

"BASIC compatibility" mode uses the above syntax.
What about babies and children? What about enfeebled old people? Clearly some people can't take care of themselves. Presumably you don't think babies and alzheimers patients should be left to roam free. Why are severely mentally ill people any different?
try og gochujang jjigae
It's hilarious that Epic would throw shade at anyone lmfao
Phi-3 should be fixed as well - but yes there were bugs as well! https://x.com/danielhanchen/status/1782853167572832650

Phi-3's sliding window should be 2048 and not 2047, and they also had chat template issues - I uploaded correct versions to https://huggingface.co/unsloth/Phi-3.5-mini-instruct
A short and dubious description I've read on a magazine article decades ago claimed that these have a temperature profile to go between heating and cooling for desired effects over time, by the tone in scale of weeks to months. I don't know how or what they do with Kimchi in Korea but there are probably lots of obviouses around it that needs context to realize.
Ah, I hadn't thought of that! Of course! When paying with a credit card, the credit card gets 3% of the payment, which includes 3% of the tip. A bigger tip means mo' mone' to the credit card company.
none

phones are treated as disposables

including all data around it

simpler that way
Isn't the point of OP of this thread that most of those wart-fixes are pointless?

I tend to agree, if you can't sell it as a ticket you probably shouldn't work on it. And "boyscout" PRs are pain to review.
The Draw (and Danger) of Data
Great stories! The research institute gets a mention in the book too.
> All in all, what Thiel is trying to say is terribly unclear.

We're in furiously colorless green sleepy agreement here.

Is this deliberate or old age creeping up on someone who once had realistic Supreme Court ambitions and clerked at the highest level in the US legal system.

* https://en.wikipedia.org/wiki/Colorless_green_ideas_sleep_fu...

( FWiW the entirity of what the Brazilian judge did or didn't do of his own violoition is a sideshow here )
> Effect of fasting on cancer: A narrative review of scientific evidence

> Emerging evidence suggests that fasting could play a key role in cancer treatment by fostering conditions that limit cancer cells' adaptability, survival, and growth. Fasting could increase the effectiveness of cancer treatments and limit adverse events. Yet, we lack an integrated mechanistic model for how these two complicated systems interact, limiting our ability to understand, prevent, and treat cancer using fasting. Here, we review recent findings at the interface of oncology and fasting metabolism, with an emphasis on human clinical studies of intermittent fasting. We recommend combining prolonged periodic fasting with a standard conventional therapeutic approach to promote cancer-free survival, treatment efficacy and reduce side effects in cancer patients.

https://pubmed.ncbi.nlm.nih.gov/35848874/
[dupe] https://news.ycombinator.com/item?id=42655580
Makes me wonder if people in APL/J/K community have not been influenced or influencing this kind of technique. IIRC Aaron Hsu does tree processing through arrays (but i'm not skilled enough to analyze his code)
In 2000 I moved into a shared house in NJ. A few weeks into living there we noticed a growing awful smell coming from the basement. We found that the previous residents had left their kimchi fridge full of kimchi … and had unplugged it before they left.
This reminds me of a popular saying attributed to Napoleon "Never interrupt your enemy when he is making a mistake."
Yep Phi-4 definitely is better than Phi-3.5!
If you condition on race, American students do better (e.g. on PISA) than almost any other country with a few exceptions like Hong Kong. American test cores are (slightly better than) what you expect given our demographics, which are by far the strongest predictor of population educational attainment.
The link shows a list of firmwares. The actual sources are at https://github.com/Freetz-NG/freetz-ng - but it's not the original FritzBox firmware sources:

> Freetz is a toolbox for developers and experienced users to build a modified firmware based on the original firmware for the DSL/LAN/WLAN/VoIP-Routers AVM Fritz!Box and T-Com Speedport (identical hardware) and to transfer this firmware to the device. There are many extension packages available, along with options to remove unwanted functionality from the original firmware.
So it sounds like you have state replication at the application at the service level for everything but Jupyter? I'm not familiar with Jupyter but would it be possible to use object storage? Does it support backups? Can you store those backups off site?
Earlier: https://news.ycombinator.com/item?id=42655580
If you instead flatten the expression tree into RPN, then you can execute it like that, with a stack machine.

I seem to recall that the Red Dragon Book (Compilers: Principles, Techniques and Tools, Aho, Sethi, Ullman [1988]) describes a technique whereby intermediate code is represented in RPN, and transformations are performed by pattern matches on it.
Before-and-After Satellite Images Show Devastation from L.A. Wildfires
AI Foundation Model Predicts Gene Activity in Human Cells
Paper:
https://www.nature.com/articles/s41586-024-08391-z
I thought the Zuck interview with Rogan was pretty genuine though.
If you like Beat Takeshi I can't recommend his "Outrage" trilogy enough.
It depends on what the "meaningful change" actually is. Lots of possible changes are meaningful but not worth killing people over. Not all proposed changes are actually possible. Mobs of people are usually really stupid and bloodthirsty. Look at the 1970 Cambodian coup for example. You don't want to open that Pandora's box unless there is a real urgent emergency or violation of natural rights. If people were as excited about losing weight as they are about some CEO getting shot, we could all have much cheaper insurance and maybe the government could even afford to give us free health care. You should look into what the government pays for and how much they pay for it. It's really eye-opening. The government isn't a magic money machine. If they pay for something, the value is extracted from somewhere in society either in monetary form or through inflation.
Then both uu-encode and lzw compress it too.

Soon everything will be machine readable only.
yes, that's the whole idea, they want you to rent.
With 6 people there is Russian go fish.
Sweeneys tweet starts with: "After years of pretending to be democrats, big tech is now pretending to be republican..."
That would exclude approximately 99% of all the businesses that have ever existed (including most of those that claim to have some other, loftier goal)
The only name I recognize on that list is Sarkeesian, who made waves years ago for being one of the first journalists to criticize mainstream games for being misogynistic, objectifying, and/or overly-sexualizing female characters.

It was controversial at the time because she was/is an outsider and not a gamer, and kicked off the Gamergate thing in which some really ugly things got said about her.
The title in h1 tags differs radically from the actual title element ("It Seems Elon Musk Has Something to Say About Politics") and is much less accurate, and clickbait. The substance of the article is basically "Musk supports other politicians I don't like, and hangs around in social circles I don't like, and is unpopular in certain polls". This is not substantive political discourse.
The 70% statistic is very prominent, but some of my Iranian friends were incredulous of it. Some speculate that men tend to pick up skills during mandatory military service, so women make up a larger proportion of college graduates. Interestingly when you look for statistics on the workforce itself (rather than graduates with STEM degrees), you see familiar ratios of ~20-25%. E.g. https://www.tehrantimes.com/news/425963/23-percent-of-mobile...

"Women make up 48 percent of internet users, 45 percent of cellphone users, and 23 percent of mobile app developers in Iran, Telecommunications Minister Mohammad Javad Azari Jahromi said here on Sunday."

I can't seem to find stats on the aggregate gender breakdown of software developers in Iran.
I'm glad I'm not the only one who thought of this, pour government money into taking anyone unemployed and give them solid jobs building/improving/managing infrastructure like housing, any public good, parks, roads, train tracks, whatever it is as long as it's a net positive.
The signal to noise ratio is way better if you take some eccentric language.

The amount of knuckleheads that Ive had to interview just to get a single coherent developer is mind boggling (remote first).
And it's not pay-to-win. I bought a skin when I was playing Fortnite just because I sunk enough time into it. Gachas in games like Genshin, on the other hand, directly impact gameplay and prey on the frustration of F2P gamers and their sense of progression. I'm a fan of microtransactions when it's purely cosmetic.

I got into Pokemon TCG Pocket recently, and the temptation to pay to keep pulling cards / doing wonder picks is strong. I can see why it's making almost as much as Pokemon Go's launch.
A minor point. This is more akin to testing because you’re only checking your formulae against a subset of system traces.

Formal methods connotes comprehensive evidence about system behavior. In the case of TLA and similar system that’s a state machine and not the real system but the output for the state machine is a proof that your LTL/CTL/TLA properties hold for all behaviors of the system (traces or trees of traces).
Those pesky startups and their need to become profitable post 2021.

Go figure
In 2022, the majority (90.3%) of shelter users were Canadian citizens, which has been the case for all years of analysis since 2015. The proportion of refugees and refugee claimants in the shelter system was 2.0% in 2022, up from 2021 (0.9%) but down compared to pre-pandemic (2019, 4.1%). Pandemic travel restrictions in 2020 and 2021 may have contributed to a decrease in the number of asylum claims, with a partial recovery in 2022.

https://housing-infrastructure.canada.ca/homelessness-sans-a...
Improvements to the Firefox extensions toolbar button
What most companies do is interview primarily referred candidates, which is arguably the opposite of DEI. It favors people in the social networks of the population already employed by the hiring company. And most people have social networks that look very similar to themselves in terms of race, gender, and economic class. Is that fair? It doesn’t seem fair.

My fringe belief is that giving an edge to buddies of current employees ought to be illegal (at least at large companies) for many of the same reasons why nepotism is frowned upon.
Dropbox instituted this policy in 2019. We called it "opportunistic hiring". Not sure if it's still in force, as I've since left.
Would guess GGUF so you can run on llama.cpp, LM Studio, etc..., but OP can hopefully clarity further for you.
> That's the thing that's being treated as FALSE. That UNKNOWN. Not the value of NULL itself.

I think the difference between how we're looking at this is for me there is no "value" of NULL. NULL has NO value which is why you can't do `1 = NULL` or `1 <> NULL` and have to specifically use `1 IS NOT NULL` or `1 IS DISTINCT FROM NULL`

>That's not how "=" works. If you want a relationship for testing equality
>[that] handles unknown, don't call it equality.
>Basic properties of equality, from Wikipedia
>https://en.wikipedia.org/wiki/Equality_(mathematics)
>- Reflexivity: for every a, one has a = a.
>- Symmetry: for every a and b, if a = b, then b = a.
>- Transitivity: for every a, b, and c, if a = b and b = c, then a = c.

Sure, that's all well and good, but equality only can work IF you know what the values are on either side. NULL means you don't know what a value is and therefore you can't answer whether or not a = NULL because NULL isn't known yet.

Or let me put it another way, is the launch price of the iPhone 17 != $799? The answer is neither true nor false, because the launch price of the iPhone 17 is unknown. We can make reasonable guesses, but if I give you a database with entries for iPhones from the first model and placeholder rows for the 17, 18, 19 and 20 models, none of them belong in the list when someone asks "which iPhones cost $799 at launch?" But equally true that none of them belong in the list when someone asks "which iPhones did not cost $799 at launch?"
> This is a pretty terrible justification for maintaining obsolete infrastructure.

This is your own (wrong) conclusion.

The problem isn't about obsolete infrastructure as the infrastructure isn't bad (fiber).

The problem is about small companies in a small market (<500000 inhabitants) competing on price with an international juggernaut.

It's obviously difficult for Local ISP(s) to have a good ROI when you're deploying fiber for <50000 customers.

If Starlink comes in and provides slightly better service at half the price, it's gonna be pretty bad for the local companies.
Life Without Limits: A Blind Maker's Take on 3D Printing
Can’t one “juke and jank” as you “zig and zag”?
Note that they were staying roughly 2 miles within the actual track, while having the bulk of the work being done by a combo of officers and newbs that they had just trained. That's high accuracy standards for celestial nav, not even counting that this is most of other people's first time doing this in anger.
And price is determined by both supply and demand.

If there wasn't a demand for specifically female engineers they would cost the same as male engineers regardless of the supply because an engineer should be fungible with gender. Unless you think that women have some innate characteristic that makes them better than men?
There’s decades of research in this vein fwiw, usually referred to as symbolic execution and it’s descendants like concolic execution.
I see you’re getting downvoted but I’d be interested in a comment with an alternative perspective. I haven’t listened to it so I don’t know the contents or how genuine they are.
Not only that, the “diverse slate” requirement, which is mentioned in the Meta posting, is actively harmful to PoC jobseekers. When I was at a Microsoft, I
I knew of multiple cases where a candidate was already essentially decided on, but they had to continue what was essentially “sham” interviews of at least one woman and one PoC in order to check the diverse slate box. Complete waste of time on all sides.
> Jeffrey Epstein described himself as Donald Trump’s “closest friend” and claimed intimate knowledge of his proclivity for sex, including cuckolding his best friends, according to recordings obtained exclusively by the Daily Beast.

https://www.thedailybeast.com/listen-to-the-jeffrey-epstein-...

What a fucking hypocrite Thiel is. His purchased president is, without exaggeration, likely to be a child rapist. I suggest he dig for "truth" in his own backyard.
This is an interesting response that points out ambiguity in it all. Depending on what you're reading / what statistic is being derived, often times you see Hispanic / Latino included as white and not brown.
My problem is this:

Being homeless is not inherently wrong. But I feel when a society makes camping on common ground a crime - like native Americans did, it owes it to them to a) give them land to camp on or b) give them housing.

It shouldn’t be a crime to sleep, ever. It horrifies me that the “conservative” Supreme Court could deny the most fundamental right to existence, literally jailing people for sleeping.
Opportunists. Not Leaders.

Tech Opportunists could coast taking advantage of Moore's Law, outsourcing and low interest rates for decades. As the environment changes, we will see new types of leadership.
Interesting. I recall Prey being the first game to hype portals for rendering, though I think theirs may have been for drawing not just culling? Does anyone know how it worked?

Dark Forces apparently also used portals for culling, IIRC.
Different person with similar stance: Those specific examples? Whatever.

We did get absolutely burnt by other manifestations of the DataDog approach: The billing model was (is?) very much not good, transparent or predictable and staying on top of costs was close to a nightmare. The way surprise costs and contract changes (triggered by them) was handled did not feel honest.

The product itself is great but from my perspective it's absolutely not worth having to deal with their business side of things and the risks, costs (money, time, attention) and stress associated.

If I were a Quickwit customer I'd start looking for alternatives.
Oh yes I found this to be a bit strange - I uploaded our versions and Microsoft's own version to Hugging Face's public LLM leaderboard - https://huggingface.co/spaces/open-llm-leaderboard/open_llm_...

You can see Microsoft's own original Phi-3 scores 12.31% - I'm unsure why. My fixes at least pushes it to 20%.

It's possible because HF's benchmark does "Scoring: Exact match: Was the solution generated correct and in the expected format" which might be the issue
Are turn signals supposed to be red? Or orange? Or let's place them below the level of the back bumper... for reasons. Some standardization would be nice.
It was always a sham anyway.

We now return to our regularly scheduled programming: making $$$

I don't expect BigTech to care about people -- it's clear that they never have. BUT what makes me sick is that they pretend to care, pretend that they are "solving the world's problems", "building communities", etc. They're no better, and perhaps just as destructive, as WalMart.

15-20 years ago I was very excited about and supportive of these companies. I've grown to despise them.
> warning: ISO C forbids 'return' with expression, in function returning void [-Wpedantic]

Sanity restored.
> The first two are obvious, but the third is also legal.

D doesn't have that bug!

In 44 years of C programming, I've never encountered a legitimate use for the 3rd. (Other than Obfuscated C, that is.))
brotip: you can, but do it in stealth. be smart about it.
I'm not a libertarian by any means, nor do I think of tax as theft.

But if someone can legitimately take away property because you don't pay them, I don't think it's yours.
You make good points. When I looked up the word "immortality" in Merriam Webster while writing my first comment, I found it interesting that one of the definitions was actually "lasting fame."

> we remember factoids... I might remember 7 things about Teddy Roosevelt... but those things do nothing to represent the complex individual he actually was.

I've thought this before when looking at Wikipedia pages. Especially for less famous people with thin pages, they'll cite just a handful of news articles or press releases in which the person appeared. If there were a page like that for me, or the people that I know best, the collection of factoids would be a laughably inaccurate reflection of who we really are. Someone told me that it's important to write an autobiography for this reason.
Bro the numbers don’t lie. Look at the average income of doctors and price of medical equipment. Then look at % profit of insurance.

Insurance makes 20%. Doctors and suppliers make 5x what normal people make.

So the problem is with the laws preventing folks from becoming doctors.

I’m gonna fix this, it’s actually so easy, just need people to trust me.

I’m really good at this kind of stuff I just hate dealing with people because the average person is so certain the world can’t get better.
"One-third of your population wants to kill another third, and the last third won't try to stop them"