skysight-inc/HackerNews huggingface dataset:
What you’ve described is TFD: test first development. TDD is not about writing all the tests first. And I agree with the article: you couldn’t do either for a greenfield project.
Read few other reviews as well, the general feeling seems to be more or less the same. People also complain that it often imagines faces on reference pictures and after some substantial delay denies generating, which is a big game-ender.
> you recognize that all you need to do is to rub it on some concrete for a couple of minutes to completely destroy it right

You're going to take time away from your actual escape to make yourself less incriminating in case you are caught? Should he have been grinding up IDs at the Greyhound bus terminal in New York? Right after the whole city heard about the shooting? Or should he have waited until after the FBI plastered the nation with his face?

> if you owned a pair of scissors or a lighter or something

Scissors won't take care of fingerprints, let alone DNA. As for the lighter, again, where do you propose he do this without attracting attention?

Actually, I could see him having thought this would be easy to do, maybe even packing a lighter and scissors, only to realise in execution that you can't start burning IDs on a bus without someone noticing.
No idea if this is real or not but neuropathy is horrible. I had a mild case of it after hurting my back which caused spinal inflammation.

Sensations of tiny zaps all over my body 24/7, most noticeable when falling asleep.
Ibuprofen helped a bit, fortunately it went away after a few months.
Some Intel employees will be fasting involuntarily when they're unemployed and broke.
Why is that image worse than this one?

https://files.catbox.moe/bt4j9j.png
How do I disable the fish following my mouse?
I skipped the content because of that. Too, damn, distracting.
That's the only type of test I know for sure has value, which makes them easy to write.
At work I feel a certain pressure to test more or less everything, but personally I much prefer a "common sense"-approach: Writing tests is motivated by either bugs found (including any issues you run into during the initial implementation) and/or complex operations that are easy to get wrong and could need the extra documentation that tests provide.
I dispise aiming for 100% code completion, so much of that is just idealism and wasteful.
The 6% is just the shareholders' cut, right? How much of the remaining "operational expenses" actually add meaningful value to the patients' healthcare?
If they had a QC that could run Shor's algorithm to factor the number 1000, I'd guarantee you they'd tell the whole world. And it would still be a long, long time from there to having a QC that can factor 2048-bit numbers.
Show HN: Bulk social media post creation
Hey all - I built this tool recently to help people repurpose their existing content (website copy, blog posts, etc) into blocks of social media posts for the various platforms. Enjoy!
How can I save cost of LLMs in production?
1. Use Multiple Models Dynamically (Mix-Tuning)
Instead of relying on a single, high-cost model for all tasks, dynamically route queries to different models based on complexity:

Use lightweight, cost-efficient models for simple queries.
Reserve expensive, high-performance models for complex tasks.
Tools like Humiris MoAI Basic (introduced above) automate this process.
2. Optimize Query Processing
Reduce the number of calls or the complexity of calls to LLMs:

Batch processing: Combine multiple requests into a single call where possible.
Query filtering: Pre-process user input to decide if an LLM call is necessary.
Cache responses: For repetitive queries, store and serve responses instead of making redundant API calls.
3. Fine-Tune Smaller Models
Instead of using a massive general-purpose LLM, fine-tune a smaller, open-source model for your specific use case:

Example: Fine-tuning models like LLaMA or GPT-J for domain-specific applications can provide good results at a lower cost.
4. Implement Rate Limits and Quotas
Set clear usage limits for your application:

Rate-limit user requests to avoid unnecessary calls.
Define quotas to prevent overuse in non-critical scenarios.
5. Leverage On-Premise or Open-Source Models
Run models locally to avoid recurring API costs:

Deploy open-source models like Hugging Face's Transformers or Meta's LLaMA.
Use quantization techniques to reduce the compute requirements and operational cost.
6. Use API Provider Cost Controls
Many cloud LLM providers offer ways to manage costs:

Set spending limits or quotas on your account.
Choose pricing tiers optimized for production-scale usage (e.g., GPT-3's "Davinci" vs. "Ada").
7. Optimize Inference Efficiency
Reduce latency and computational overhead:

Use tools like ONNX Runtime or TensorRT to optimize models for inference.
Employ distillation to create smaller, faster versions of larger models.
8. Monitor Usage and Iterate
Track how the LLM is being used:

Analyze logs to identify inefficiencies or unnecessary calls.
Iterate on your integration strategy to balance cost and performance.
If you'd like help tailoring these strategies to your specific use case, feel free to share more details!
> Any fad historians here? I got into the game late, but my impression is that TDD peaked when untyped interpreted languages like Ruby and JS were en vogue.

That was one of the first mistakes that began to spread everywhere and new engineers bought into the fads of using such unsound languages like JS, Ruby where it was difficult to reason with the type system to the point where they were testing the expected types themselves.

In some applied uses such as backend systems, the fundamental design of untyped / dynamically typed languages can just let down the quality of the software in the first place and be a massive burden and cost on the developers to the point where they MUST use TDD no matter what even in greenfield projects.

TypeScript has a more sound type-system, but still just serves as a temporary solution to the fundamental issues JavaScript always had and its still very easy to escape the type system and break it at runtime.
An Architecture for Combinator Graph Reduction (TIGRE)
https://users.ece.cmu.edu/~koopman/tigre/index.html
From their official site:

> Although truly static IPs are not available, a reservation system retains the public IPv4 address and IPv6 prefix even when the system is off or rebooted.

You have a potentially stable address, but not a truly static one.
People are lazy, and blaming an individual is easy, while understanding complex systems is hard.

Understanding that the role of a CEO is essentially a replaceable cog in a vast and complex machine is beyond the capabilities of most people’s good-bad moral system, and so it’s easier to scapegoat one guy instead of looking at the deeper structure.
A new low in web sites - a forced sign-up popup.

Hint: Open the inspector in Firefox on the popup, find the beginning of the popup HTML, and select "Delete Node". Then you can finish the article.

Hint: Don't bother. It's not very good.
> after some substantial delay denies generating

Hopefully these types of issues blow over as they increase capacity or load decreases.

The lengthy generation times aren't fun to deal with though in any case. As good as the UX for the app itself is, there's little they can do about how long it takes for a video to generate compared to images. The near instant feedback is gone (just like old times)
You mean patent trolls. That's been going on for decades.
> ID proof to authorize your account outside EU

They do that even within EU, and even when your credit card passes 3D secure validation.
palm oil is not a subsitute for olive oil and vice-versa. Their usage are totally different.
sometimes i think projects like cyc are like 3n+1 problem for AI. it's so alluring.
I don't think they'd know what it was.
As a newly minted 3d printer owner next step is accurate dimensions, material and nozzle diameter awareness ;) then some CAD-like support where you can specify constraints on… things?
Based on this it really seems like Hunyuan is a significantly better model. In nearly every example I preferred its output.
Man who tried to buy Pine Bluff, AR running for mayor [video]
Previous context: https://maxread.substack.com/p/the-man-who-bought-pine-bluff...
“Important thinker” is a stretch. Most actual philosophers of technology are far more coherent and knowledgeable.
No man that gets a bonus when people that could be saved die is an innocent man
They don't follow the mouse pointer when using arrow keys scrolling the page (Vivaldi, macOS).
"Agent" is the hot new thing in AI, so you can expect all influencers/reporters/marketers will overuse that term for the foreseeable future.
It's not that I am dumb and I am asking for help with info. I'm questioning the existence of this, there is no reliable source because these are not standard terms in any discipline.

It's not that you are not giving me source because your time is valuable and I'm dumb. It's because there is no source and these concepts don't have any standard rigorous definition.

https://www.google.com/search?q=decentralized+vs+federated

Google gives me trash. These are trash concepts, nothing written by academics or professionals or standard textbooks, or proceedings of magazines or publications.

Just blogs and cryptonerds (with different definitions).
Vs zero tests? My tests are usually bigger than my implementation.
A live album sort of is that.
> Further, having a language and runtime designed for safe use is absolutely critical, and trying to embed another runtime (js/wasm) and manage to lock it down successfully, is a much larger undertaking than I think folks realize.

For what it’s worth both Deno and workerd from Cloudflare give you starting points to run JS in a very locked down sandbox.
On the other hand it makes the food very palatable so we are prone to eating a lot of it.
They are much more raw and less polished so you can't mistake the concert radio for a studio one and vice-versa and it doesn't catch you completely off guard when there are differences.

Same with unplugged versions.
It's more about payments (subscription) using crypto
Tapping outside the box worked for me on iOS/Firefox.
> There's never been anything like the French Revolution, or the Russian Revolution, or the Maoist revolution.

US culture has long actively reviled and denied power to aristocracy.

The story that the rich are in physical danger is used by Trump's supporters to create a paranoid victim mentality among the wealthiest and most powerful. (America - anyone can be a victim!)
Sounds like we achieved 50%
of AI then. The artifical is there, now we need the intelligence part.
In jazz it's more common to see multiple recordings of the same song by the same artist. Bill Evans recordings of Autumn Leaves opened up my mind for exploring this.
> It poisonous to say elections are “rigged” unless you can prove votes were manipulated

The votes were grossly manipulated through undisclosed funding. This would cancel the results in any democratic country.
The code snippets are purely declarative because they are reconstructed from the simple bytecode that the macOS sandbox library generates after evaluating the Scheme code. At that point any abstractions present in the source code are long gone and only predicates and actions remain.

If you look at typical SBPL source code you'll see it tends to contain a mix of straightforward, declarative `(allow …)` policies and custom functions/macros used to simplify repeated patterns. See https://github.com/WebKit/WebKit/blob/11b5279aec6113c661dac3..., for example.
I also don't practice TDD directly, but I think trying to for a while made me a better developer. It gave me a better feeling for what a "unit" is, how to structure things etc that I feel is applicable even if not doing TDD.
Bottom right corner, click the "Please, no fish" button.
It is work work not passive, but I write dev docs for $80/h. But it is simple work, you just go research and write. No Racoon calling out to Wingman to get user info provider services.
Sora should be evaluated on xkcd strips as inputs.
Being part of the system does not absolve one of consequences of one's actions. Auschwitz management was part of the system. UHC wasn't an average participant it was really pushing the boundaries of abusive practises to the extreme. Go to any place where medical professionals hang out online and read their accounts of UHC shenanigans.
Give it anything that sounds like a riddle, but isn't. Just one example:

> H: The surgeon, who is the boy's father, says "I can't operate on this boy, he's my son!" Who is the surgeon of the boy?

> O1: The surgeon is the boy’s mother.

Also, just because humans don't always think rationally doesn't mean ChatGPT does.
Did he think the people on the airliner were guilty?
Well, the truth is there's a lot more to JITing than what I wrote in the article, just because JITing didn't fit the vibe of the rest of the article that well.

Anyway, yes theoretically you can. Recently folks creating Codon (https://github.com/exaloop/codon) did it for Python using a cool form of type inference.

That said, I don't think any mainstream JS VMs do it. Most recent work I know in AOT compilation for JS seems to use some profile-guided optimization and not static type inference. For example, look at the architecture at 6:38 and also discussion about types here: https://youtu.be/pVhcyKf3efM?t=469). Something similar seems to be true for the project described here: https://www.youtube.com/watch?v=_T3s6-C38JI

The story seems to be a bit different for hopc: https://www.youtube.com/watch?v=iY1EXHQ6IeQ
The video starts by giving good examples of why it is very hard to have good type inference for JS (which agrees with my intuition) but continues to talk about using type inference. However, the benchmark in this talk and in their paper are not super convincing.

All that said, JS is not my expertise so I would be interested to know more about what mainstream VMs do in practice and any latest research.
From the 'Save the Archive' site:
"But when their Great 78 Project rescued over 400,000 recordings, major labels responded with a lawsuit against the Internet Archive for research library streams of old vinyl records.... Artists and labels alike should partner with valuable cultural stewards like the Internet Archive—not sue them. It’s time to support nonprofit music preservation to ensure that our music and our stories aren’t lost to history."

Most of the hundreds of old 78 labels (Brunswick, Federal, Odeon, Okeh, to name a few) [0] are long gone, as are their masters (if any) and their artists. IA recovered those recordings from existing copies made long, long ago... preserving a cultural heritage directly from collections of music available -only- on 78s. Many of the recordings were made with fragile shellac.

That is apparently the focus of these invidious lawsuits.

[0] http://78discography.com/
I'm curious what the assembly looks like. Is it just normal binary Von Neumann running on your ternary processor, or is it something very different?

Either way, great work. This is very fascinating.
What they claim is that adding physical qubits reduce error rate of the logical qubits exponentially. For the Schor algorithm the error rate of the logical qubits must decrease exponentially with every single logical qubit added to make the system produce meaningful results.

To see how it plays out consider adding a single logical qubit. First you need to increase the number of physical qubits to accommodate the new logical qubit at the same error rate. Then multiply the number of physical qubits to accommodate for exponentially decreased error rate which would be a constant factor N ( or polynomial but let’s keep things simple) by which the number of physical qubits need to be multiplied to produce a system with one additional logical qubit with an error rate to produce meaningful results.

To attain 1024 logical qubits for Schor algorithm one would need N^1024 physical qubits. The case where N<1 would be possible if error would decrease by itself without additional error correction.
Morally, there is no quandary: it's obviously morally wrong to take someone else's things, and knowing their private key changes nothing.

Legally, the situation is the same: legal ownership is not in any way tied to the mechanism of how some system or another keeps track of ownership. Your BTC is yours via a contract, not because the BTC network says so. Of course, proving to a judge that someone else stole your BTC may be extremely hard, if not impossible.

Saying "if the protocol permits anyone who can sign a valid transaction involving a given UTXO to another address, then it technically isn't a "crime"" is like saying "traditional banking is governed by a banker checking your identity, so if someone can convince the banker they are you, then it technically isn't a "crime"".

The only thing that wouldn't be considered a crime, in both cases, is the system allowing the transaction to happen. That is, it's not a crime for the bank teller to give your money to someone else if they were legitimately fooled; and it's not a crime for the Bitcoin miners to give your money to someone else if that someone else impersonated your private key. But the person who fooled the bank teller /the miners is definitely committing a crime.
Because test is code, it has bugs, it needs refactoring, needs to update dependencies, creates technical debt just like the code it is testing. We could even create tests for the tests to be sure our test suíte works. It is just a tradeoff of speed and increased complexity.
An outliner would be a good way to represent this info: something like Workflowy, Org mode, Ravel or Dynalist. You get nested bullet points that you can collapse.

Workflowy: https://workflowy.com/
Ravel: https://ravel.acenturyandabit.xyz/
Jira and Perforce alone are enough to cause someone to snap
Thanks for the warning, I didn't bother reading. I've noticed that Hollywood says nobody can predict success or failure of a movie. At the same time, some movie scripts have been published or leaked, and reading them at least to me isn't that different from seeing the movie. That suggests a bloody obvious diagnostic, at least for mass market or action hero type movies: before deciding to start actual filming, show the script to some 14 year olds and get their reactions. Hollywood is just stupid for throwing crap at the wall without any testing like that.
As always, he moves the cup so flashily for so long that you forget that you never saw him put the ball under it in the first place. If you take it as read that Binance (the largest threat to his business interests) really are evil, then of course destroying any bank willing to serve them is perfectly justified.

I also love the impersonal gloss over the actions of all the bank employees, as though all the Operation Choke Point crimes were carried out by machines directed by the politicians and regulators, and not humans making the choice to be Quislings. Look at the quote from Zuckerberg where he expresses regret for the poor choices he and his company made, and note the conspicuous absence of anyone doing the same from the banking/finance industry.

Those of us who've been paying attention are not hearing about debanking for the first time now, we've been banging this drum for years. In a country with the US' asset forfeiture laws, denial of banking service is de facto denial of the human right to own property. The current situation in the US is shameful, and while part of that shame should fall on the politicians and regulators, much of it rightly falls on the banks themselves. (Nor is it that an alternative is impractical. The UK made it legally obligatory for banks to offer "basic bank accounts" to everyone in 2016, and the sky has not fallen).

I have no love for the crypto people, but they're fighting for the right thing here (whether they're doing so out of good motives or bad) and I hope they succeed.
Here the source: https://github.com/arclanguage/anarki
> I thought the whole point of TDD as opposed to just “writing a lot of tests” is that you write the tests first, and that more or less determines the design of the system?

Yes, my thoughts exactly. At its core, TDD forces a workflow where the interface is the first thing laid out, and the expected behavior follows. Therefore when designing new components, it becomes readily apparent when the interface doesn't work, even before anyone invests any time adding the missing behavior.
I think the problem is with outliers. Most people don’t have problems with thier health insurance because they don’t interact with it much or just have routine care.

But if you’re unlucky, it can ruin your life or the life of a loved one. It’s not hard to find horror stories - some recent viral ones came from LinkedIn comments to the CEO (written before his murder)
Easy, from my recent chat with o1:
(Asked about left null space)

‘’’
these are the vectors that when viewed as linear functionals, annihilate every column of A . <…> Another way to view it: these are the vectors orthogonal to the row space.
‘’’

It’s quite obvious that vectors that “annihilate the columns” would be orthogonal to the column space not the row space.

I don’t know if you think o1 is magic. It still hallucinates, just less often and less obvious.
Unlikely. Here’s what will happen instead:

Corporations will beef up security and keep doing what they were doing before. Police and government will increase surveillance budgets, citing this event as reasoning. And no one will interpret this act of violence as anything other than a random event to prevent.

You don’t get structural change by extreme singular events. That’s not how it works.
Bands do what you described the Scorpions doing so the band will own the master.

Owning the master means when Carnival Cruise Lines wants to license “Virgin Killer” the band gets the money.