skysight-inc/HackerNews huggingface dataset:
No. I haven't got the chance to benchmark against others. When I ran the benchmarks in the library, I could process 1 million pairs of dependency in 10's of milliseconds, in my 5-year old laptop.

Testing 1000000 items, 1-to-1 chaining dependency.
Add dependency 1000000 items. Time: 93ms, 10645885 items/s, 93 ns/item
Sort 1000000 items. Time: 113ms, 8795778 items/s, 113 ns/item

Testing 1000000 items, 1-to-4 chaining dependency.
Add dependency 1000000 items. Time: 87ms, 11428323 items/s, 87 ns/item
Sort 1000000 items. Time: 44ms, 22508986 items/s, 44 ns/item

Testing 1000000 items, 1-to-10 chaining dependency.
Add dependency 1000000 items. Time: 102ms, 9748793 items/s, 102 ns/item
Sort 1000000 items. Time: 31ms, 31707077 items/s, 31 ns/item

Testing 1000000 items, 1-to-10 chaining dependency, with max_range set.
Add dependency 1000000 items. Time: 25ms, 39460028 items/s, 25 ns/item
Sort 1000000 items. Time: 31ms, 31633556 items/s, 31 ns/item
Yeah, but it's a breeze compared to making GNOME usable; hamburger menus everywhere!!11!
You can search for the "Arctic Soundscapes Project 2019-2024". We are still working out the specifics of the licensing to meet our funding requirements, but it will be permissive.
Doesn't dispute my point that the laws are the problem, then, not the application of them
Basically CF default WAF settings saved more small and medium companies I can even count to.
I’m not CF fan, but WAFs (with rate limiting) do help. Sad that one or two incidents for that complicated and big services make people post such comments, but cmon - it doesn’t have AI in it's name so sheeps have to cry, right?
I meant in the code……… obviously…
Conditions at sea can and do change rapidly, when you're flying something like this, that's crucial.
> At a high level, you take an existing transformer model
Freeze all the weights, delete the attention layer, replace it with RWKV, and train it through multiple stages.

Maybe I'm misunderstanding but it seems like they still depend on an attention based model to train their model? While it's interesting and would definitely enable the personalized AI they seem to be going for, I don't really see how they can say that it's not based on attention architecture. Someone still needs to shell out the big bucks to train that teacher model, no?
Nice article, clearly defines the scope for enums and why it is so in TS.
I had the same feeling and use enums a lit less than in C#, because of mentioned limitations, but they're still useful for right purpose
you don't even realize yet that you can't use "fascist" in a good faith argument without defining it precisely, because it's simply used as a cudgel word by both sides... and literally has been for almost 100 years

https://en.wikipedia.org/wiki/Fascist_(insult)
My favorite trick is to install with English (World) language to avoid auto-install of all sorts of crap. Windows Store won't work in this mode, but it's just a matter of reverting to your preferred language after first boot.

https://www.reddit.com/r/Windows11/comments/15gk07n/english_...

Edit: in my experience, changing the language to something else immediately after install is done still adds the crapware automatically. I think I needed to reboot once or twice for whatever post-install service Windows runs to no longer get executed.
I wrote "tone down" not "completely remove" ;)

Rich and HTMX have a much different tone while shaming React.
SEEKING WORK | Remote | Part time | Vancouver, Canada

Availability: 20 hours or less per week

Technologies: Elixir, Phoenix, Svelte

- GitHub: https://github.com/woutdp

- LiveSvelte: https://github.com/woutdp/live_svelte

- Website: https://wout.space/

- Contact: hn@wout.space

Full-stack web developer with 10+ years of professional experience. Creator of LiveSvelte, a popular library integrating Svelte with Phoenix LiveView. I'm looking for Elixir/Phoenix projects with a defined scope—preferably fixed-fee or milestone-based. Open to equity or profit-sharing arrangements for the right opportunity.
What about it gives off the AI smell to you?
Isitaprilfoolsday.com
> AFAIK 18650s like he's using never swell as they're in hard metal shells not pouches like most consumer electronics, so they don't have the ability to swell until they're catastrophically damaged.

They do swell, but they swell at the terminals rather than at the sides.
How can you even tell?
Faking ADTs and GADTs in languages that shouldn't have them
I assume this is being posted/upvoted in terms of “workaround for Microsoft Account requirement”. I actually mostly like Windows, but that particular thing they're pushing is more infuriating than any other, and there have been lots of others.

See the page's description for “Allow Windows 11 to be installed without internet connection”:

> This effectively runs the oobe\BypassNRO.cmd command, which was discovered by Reddit user AveYo. You still have to click the I don't have internet button during Windows Setup.

> Only check this option if your computer really does not have internet access. If you just want to create local (“offline”) user accounts in Windows 11, you can always do so in the _User accounts_ section of this form.
The neglected contribution of ground-nesting bees to soil functions
Not really trolling, unfortunately.

GP, in their parenthesis, made the insinuation that if it, which I would take as a LLM, talks like a human and makes up answers, like a LLM is wont to do, like a human is it human?
>(if it talks like a human and makes up answers like a human, is it a human? ;)

While I don't subscribe to the idea that humans have a soul, or some other dualist take, I do think that there is far more to a human than just our cognitive properties. So to convince me that something is human takes more than just listing to it talk to me or make things up during the discussion.

So, too, with a duck. Sure, if all I have to go on is hearing a quack then I would say yeah that's most probably a duck.

Just like if you told me a barn was red when we say just one side, I'd say it's probably red.

I know, I know, I am fun at parties.
> There is nothing in the spec about struct layout

De-facto a lot of programs rely on it, so whatever the spec says is irrelevant.

Not just for cgo by the way, but also things like binary.Read()/Write().
InnoVint | Wine Production Software | Remote (US-based) | FT | Senior BE Developer (Django/Python)
We're looking for another great back end developer to join our team. We are a company of 30 large and have been operating for over 10 years. We are not VC backed and operate as an independent company with startup mentality.

InnoVint is the world's leading SaaS solution for wineries and wine producers. We are and have always been a well-performing, tight knit virtual team that meets several times a year in the real world (usually a wine destination!). About half the team has some wine production experience. If you love the idea of being part of the wine industry, but haven't yet considered combining your experience in SaaS and tech, maybe InnoVint is the perfect company for you. If you are a reformed or aspiring winemaker, that's even better!

This is a great opportunity to work with an excellent and passionate team, serving a really fun and interesting market - commercial wineries. If you're interested in a more concrete visual understanding of InnoVint's market leading wine production software, here's a short video showing the software in action: https://www.youtube.com/watch?v=hNBBZz08DWY

Application link: https://www.innovint.us/careers/sr-backend-engineer/
> any site using that will have URLs containing 'camel' blocked

What engineer at cloudflare thought this was a good resolution?
Nice try, ChatGPT.

More seriously, for me it's the "likely".
In my experience, people that simply attack other people instead of contributing to the discussion are the ones that want the "moral high ground".

That statement is in no way moral. Not sure why GP assumes that. It's simply not beneficial to society for small groups to accumulate disproportionate amounts of power.

But as always, we have some "future billionaires" rushing to defend them.
Already Riven was a little too slick to have the same kind of lo-fi magic Myst evoked, so if that's what you want to get a feel for it's probably best to dig up some old ISO or CD and emulate. With a bit of luck some of the videos will refuse to render or glitch a bit, like they were prone to do back in the day.

If it's more that you want to see the storytelling and puzzles later adaptions are likely fine. It's a neat game, exciting without direct conflict.
> but it really just highlights how efficient the modern supply chain is

This "efficiency" relies on the assumption of writing off the entire battery set at sale. That's not impressive at all.
Are LLMs Creative
> I know it can be done because I asked an electrician. But I dropped the idea when he said it could cost a lot (if done by a professional).

If you have to ask, this is absolutely not the sort of work you should do yourself. Use a licensed electrician.
I'd guess the best approach is similar to security - minimal TCB (trusted computing base) that you can verify by hand, and then construct your proof checker on top, and have it verify itself.
Proof and type checkers have a lot of overlap, so you can gain coverage via the language types.

I can't recall exactly, but I think CakeML (https://cakeml.org/jfp14.pdf) had a precursor lisp prover, written in a verified lisp, so would be amenable to this approach.

EDIT: think it was this one
https://www.schemeworkshop.org/2016/verified-lisp-2016-schem...
That depends on the problem you're trying to solve. If it's only to build a home power system, sure, but if the goal is "I want to prevent these laptop batteries from ending up in a landfill" then using an old EV battery doesn't really help you much.
I tried Japanese; the Youtube video that autoplayed had its timing slightly off so that instead of saying あたまも疲れました I only heard まも疲れました. It was pretty confusing but fortunately the answer was displayed right in the video because the video itself had its text spelled out.

https://app.fluentsubs.com/exercises/cm8v909oq00fj9x1kztl1ez...
For a college class grade, everyone is supposed to be tested on the same exercise. If all students were tested under the same scenario then it would be fair. For just one student to be tested under this scenario, but for all other students to get a free pass on the lab component identification diagnostic test, is not reasonable.
Originally from https://archive.is/XqfBI
Beijing moves drills closer to Taiwan, with Shandong carrier in 'response zone'
That link was what I referred to after Googling, but in my case I need the width of the left part and the right part to be different, which requires setting width_ratios in the subplots and adjusting the slope of the hacky lines used to draw the broken axis symbol. seaborn also would not help in this exact case.

There is a package by some nice guy: https://github.com/bendichter/brokenaxes just to do the broken axis. But not being built-in in Anaconda is already an annoyance, and in my case it generates a figure with a ugly x-label.

I ended up letting ChatGPT generate the code for me with the two required hacks. I simply need the figure in the minimal amount of time and with the least mental bandwidth, so I can focus on the science and catch the conference deadline. Origin is a very "over-engineered" piece of software, but hey getting a broken axis is so simple (https://www.originlab.com/doc/Origin-Help/AxesRef-Breaks ). Sometimes the "over-engineering" is necessary to minimize users' pain.
the fact that this mentions Tailwind already signifies that its target audience is 10 year olds

edit: yeah, after reading more, this is an affront against nature. forget about separation of content and presentation, now you can even throw your backend into the dumpster fire!
It makes sense if you follow the narrative arc of the country. The above people I mentioned slot right into the WASP trend of the ruling decorum of the country, even if the trend abandoned nominal white Anglo-Saxon protestants centuries ago.

It's the same reason why white supremacy is still relevant despite the color of skin being less important: it still ties into the impressive rhetorical power of colorism and the implicit introduction of "others" that allows the oppression of the general population for not being "civilized" enough, as if the word had any meaning to a person whose brain hadn't been turned to porridge by interaction with finance bros.
What a perfect opportunity to link to one of my favourite candies https://waskstudio.com/products/sealed-fate-candy-packets

Balls of hard candy shaped and packaged like silica gel!
Using "likely" is indicative of AI now...?

Absurd.

The only thing as annoying as people using AI and passing it off as their own writing is the people who claim everything written not exactly how they are used to is AI.
Ambient | Remote | Full-Time | Principal Rust Engineer, Lead AI Researcher, Principal Python Engineer | https://ambient.xyz/

The world economy will be denominated in machine intelligence and Ambient is building a useful proof of work cryptocurrency network to support that, where the proof of work is verified inference, fine tuning, and pre-training on a single large language model (650b + parameters) that runs on all the nodes of our network. As a mental shorthand, imagine if Open AI was powered by AI Bitcoin instead of Azure credits and was actually open source. You can read more about our approach at https://ambient.xyz/litepaper and check out our funding announcement here: https://x.com/ambient_xyz/status/1906821564731113797.

Looking for the following:

- Principal Rust or Python Engineer (especially if you're comfortable working with large distributed systems)

- AI/ML Engineers/Researchers (especially if you've worked on distributed training frameworks)

To apply, please email your resume and a brief introduction to jobs+hn@ambient.xyz
No, it says that projects should move forward without verifying that prerequisites have been fulfilled, but that the verification should take place anyway. It's about the pace at which you can go.

Trust-free:

Ensure that step A can go off without a hitch.
Begin step A.
Ensure that step B can go off without a hitch.
Begin step B.
Ensure that step C can go off without a hitch.
Begin step C.

Trust, but verify:

Begin step A.
Begin step B. Check that you have whatever you need for step A.
Begin step C. Check that you have whatever you need for step B.
Check that you have whatever you need for step C.

You can't finish step B until you have all the prerequisites, but you can start it.
Can't believe this still has to be debunked. No Phlex certainly isn't 12x faster than ERB. It's noticeably slower than ERB, e.g.: https://github.com/KonnorRogers/view-layer-benchmarks/commit...

In some extreme scenarios with tons of very small partials, it can win against Action View because the Action View partial lookup is significant overhead.
The argument is about the exclusion threshold because that determines who it is applied to. People generally support taking from other people but not from themselves.

A flat 50% rate still extract much more value from the rich, but apply equally to the poor.

My perception is that hereditary wealth transfer is about as universal and it's phenomenon get when it comes to humans. Not 100%, but close to it.
Free, simple, fast interactive diagrams for any GitHub repository
Aside from the obvious fire risk, is this approaching the size where one would have to be concerned about arc flash?
Now Is the Time to Rally to Web3 Gaming
The click and drag UX is cool. BUT, it’s super annoying that it reorganizes every time you drag one off. So the next one you may have been looking to drag has now moved (or it means you accidentally grab the incorrect one). Can they stay in their positions? (Eg, replace in place with a greyed out version of the removed word)
WAFs are literally "a pile of regexes can secure my insecure software"
Flyflow (YC S24) Is Sunsetting
After over a year of building Flyflow alongside you, we've decided to sunset the product. The team is joining forces with a larger company to build something new (more to come!). Talking to our customers has consistently been the most inspiring part of my day; thank you for that.
> for whatever that's worth.

Very little because it's clear Mitchell aggressively sued and/or threatened to sue both Twin Galaxies and Guinness to an egregious extent and the reinstatements were minimal, reluctant and only done to finally get him to stop the constant legal harassment.

Frame by frame analysis by multiple independent experts of the videotape of Mitchell's Donkey Kong record clearly shows he cheated. I don't think anyone (who isn't Mitchell, his lawyers or few friends) has any doubt Mitchell cheated and has repeatedly lied about it.
Funny. I see what you did there.
I would make them reread the MSDS.
There is also https://pinggy.io which is even simpler to use. Just paste one command like ssh -p 443 -R0:localhost:8000 qr@a.pinggy.io
Is Frege still being developed?
Note that I was responding to a comment claiming:

> What you really mean is is there any meaningful difference in what can be processed by biological computing and non-biological computing.
> The answer to that would appear to be, no.

So specifically to "appear to be, no".

> i would rather ask one to think, what evidence is there that we cannot do brain on non-gooey stuff?

Because we haven't practically done it despite decades of trying?

I don't think this should stop us from trying, and it's pretty obvious it won't. But there is no proof either way — potentially the problem is so complex that we never get there in practice?

(Also note that proving a general negative statement is pretty tricky and usually avoided — we usually look for counter-examples, evaluate a full finite/countable set of scenarios, etc)
Well, it's idiot proofing. Can't burn a laptop if the plug didn't go in. Or the jet fighter flashed red 3 times and refused to take fuel.

I actually had done it once. It was a 9V adapter into a 12V device. It worked for ~180 seconds, then LCD inverter melted dead from overcurrent.
They all pay, it's a distinction to "every other search engine" and their users.

They have a Discord server where news and updates are released, hyped and discussed.

Kagi is appreciated and people like to associate with appreciated things
Perhaps there is no such thing like absolute truth.

In category theory / ologs, a formal method for knowledge representation, the result is always mathematically sound, yet ologs are prefixed with "According to the author's world view ..."

On the other way truth, even if it's not absolute, it's very expensive.

Lately AWS advocates a middle ground, the lightweight formal methods, which are much cheaper than formal methods yet deliver good enough correctness for their business case.

In the same way MIT CSAIL's Daniel Jackson advocates a semi-formal approach to design likely-correct apps (Concept design)

It seems there is a push for better correctness in software, without the aim of perfectionism.
Honestly, if you're doing scientific work there is no reason not to output the data somewhere and plot in R with the standard lib (insanely good for science style plotting but hard to use) or ggplot (what matplotlib wished it was)
Really gorgeous components. I cant say I understand who would use this or why... but this is a good thing.
Weight is not a factor for home energy storage, there is no need for lithium cells.

That depends on your living situation. I live in a third-floor apartment, so weight is very definitely a factor.
Mediabiasfactcheck is run by someone on the Council of Foreign Relations fwiw. While their Foreign Affairs publishes stuff critical of US policy, they are heavily America biased.
In loving memory of Dave Täht
(original article author)

I view it more as a shortcut. We have trained 7B and 14B models from scratch, matching transformer performance with similar sized datasets.

This has been shown to even slightly outperform transformer scaling law, with the training we done from 1B to 14B. And we expect it to do so as we scale.

However as of this point, answering and settling that debate for good at 72B scale - is a $5 Million dollar bill. So for now, we use the short cuts, to just show that it actually works - and use that money to iterate and improve the architecture faster.
Basically everything runs on an OS, which is even more complex.
The email was a bit much, just altering the ready message should have been sufficient.
It seems unlikely that there's any practical chemical batteries with 0 fire risk.

But I do think there should be home energy storage that doesn't involve chemical batteries. Where are all the pumped hydro, flywheels, and compressed air storage for consumer use?
Why are some people brave and others such cowards?
Isn't Clojure similarly (or even moreso) multiparadigm?
First, I appreciate the kind words, they really do mean a lot.

I will say, part of the reason I'm likely more aware is because I am an older undergrad (currently 25), but additionally, I've seen all sides of the education system, so I've been exposed to quite a lot.

> People who figure out how to learn are always in a golden age.

100% agree on this. The ability to be able to pick anything up and just go with it opens life up to a wealth of opportunities.
It's not a moral judgement. Morals have nothing to do with how power works. Society does not benefit from small groups owning enormous amounts of power.

Whether they're kings from "divine right", corrupt nepo babies or even legitimate geniuses. Nobody should have that much power.
Agree with the point but boy, NYC is one of my least favorite cities so it wouldn't be my example of nice places to be. Boston's nice though!
My 2p's worth is that the whole of F# is more than the some of its parts. When you say in your previous comment "All the good stuff has been pirated from F#" it misses the point of what it's actually like to use F#. The problem is, it's almost impossible to communicate what it's like. You have to try it and you have to keep going until you get over the initial "WTF!?" hump. There will be a WTF hump.

For example, C# may have cribbed the language features, but F# is expression based and immutable by default. Try using the same features in this context and the whole game changes.
ROTFL at the abstract
Phlex is an amazing project. Makes frontend fun again. I've built my own UI library using DaisyUI and Tailwindcss that we use in all our Rails projects: https://github.com/inhouse-work/protos

It cannot be overstated how nice it is to move away from erb and into pure ruby. Private methods as partials is a game changer for refactoring your UI.
ChatGPT reaches new growth milestones and runs into capacity issues
Same. Why add the complexity of docker/kubernetes/?

FreeBSD and jails is so easy to maintain its unbelievable.
Python doesn't have "total absense of typing". It doesn't have static typing, so compile time checks are not possible (well historically, there's some psuedo static typing things these days). The fact that you can call `+` on some objects but not others is literally the result of the objects being different types.

A truly typeless language (or maybe more accurately single type for everything language) is ASM, particularly for older CPU designs. You get a word - the bitfield in a register, and can do any operation on it. Is that 64 bits loaded from an array of characters and the programmer intended it to be a string? Cool you can bitwise and it with some other register. Was it a u64, a pointer, a pair of u32s? Same thing - the semantics don't change.