skysight-inc/HackerNews huggingface dataset:
Exnaton (Climate Tech) | Delivery Engineer | Remote (EU/EFTA countries) | full-time
Exnaton is a startup, spun out of ETH Zurich, which offers software for renewable energy to utility companies. Our software enables energy providers to set up energy communities and smart energy tariffs in their distribution areas. Users of our software can track their energy consumption and buy renewable energy from their neighbors, which makes investing in the energy transition simple and fun!

Role requirements:
- degree in computer science, electrical engineering, statistics, mathematics, physics, engineering, or relevant experience (we are happy to consider applicants without a formal degree if you can demonstrate relevant skills);
- a minimum of 2 years of industry experience in software development, IT consulting, or software integration projects;
- relevant experience in independently completing complex technical projects;
- ideally some experience working with typed API’s (GraphQL, tRPC, OpenAPI) and developing and shipping SaaS web applications with well-abstracted components and composability;
- ideally previous experience working on software projects in the energy sector;
- motivation to constantly and consistently learn new skills, make quick decisions, and clearly prioritize what moves the needle;
- fluency in English, fluency in German would be a big plus;
- a team player who thrives in a dynamic startup environment.

More information here: https://exnaton-ag.jobs.personio.com/job/1611746?language=en...
Nothing is a good enough guarantee. They don't exist. The perfect is the enemy of the good. Stop looking for guarantees that don't exist, and start doing business with fuzzy logic - successful businessmen know they are constantly testing the boundaries of the rules. A negative result (this thing isn't allowed) from a test isn't a failure, if you do it right - it's just a negative result. Apple is on the path to severe penalties because they were repeatedly told something wasn't allowed and then kept doing it, even going so far as to do it in ways that seen to be mocking the decision.
Show HN: I made a Llama-powered SaaS idea generation that uses Reddit threads
Using AI, the tool parses Reddit to find problems that could be solve by building a SAAS and group the most related ones together.

I'm using a self-hosted llama 3 8B quantized version (Q6_K) to find if each reddit post is a user-problem or not, and sentence transformers to find the related ones, to avoid duplicate ideas. This way I get something that still provides really good results while limiting the cost.

Then each user can search and filter ideas in a number of subreddits that change according to their plan.
>This is peer reviewed, accepted science.

This is also something that people outside academia apparently don't understand. Peer review doesn't tell you anything about the validity of the science. It only ensures the methodology was correct. The original Pons & Fleischmann paper passed peer review and was published in the Journal of Electroanalytical Chemistry. It only got retracted after other people tried and failed to reproduce it. If you want to know whether science is legit or not, look out for reproduction by independent actors - not peer review.
It's interesting indeed that Turing's machines as he defined them can never halt:

> he does not discuss the halting of his machines at all,
and makes no provision for the computational processes undertaken by his machines
ever to stop; in particular, he has no convention as in contemporary accounts of
a halt state for the machines

So instead of asking whether they halt, Turing asked whether they ever print a particular symbol. Of course one could call that symbol the halting symbol, and adopt the convention that printing the halting symbol amounts to halting. So while Turing did not name it the "Halting Problem" he proved an obviously equivalent result.
I think cultural context can make the difference between a psychological traumatic event and another day at the office. Somebody who grew up on a farm might snap a chicken's neck without a thought, while a vegan city slicker being made to do the same might plausibly suffer severe psychological trauma.

It may be the case that being from a society in which violence is glorified and made into a virtue makes people less susceptible to war-induced PTSD. Or the circumstances of the war could make the difference; if you are fighting a just war you earnestly believe to be in the direct defense of your family and community, or whether you were drafted into a war that has nothing to do with you and society tells you is cynically or foolishly motivated.
Redundant S3 is easy-ish to selfhost, though, so that could actually be a decent way to setup reliable diskless workstations.
You cannot "opt out" of the index. It's always sitting there.

$ ls -l .git/index

When it gets corrupt, though, you can blow it away. It gets rebuilt.

The reason it can be casually rebuilt is that there is a copy of it in the HEAD commit.

The git index is an intestinal appendix. It has no reason to exist.

There is no need to "stage" changes and then move them to a commit. What is called staging should just create a new commit.

The index creates duplicity. Many commands operate on both the work tree and index, or separately on either one.

Your working tree can differ from the index, which differs from the HEAD commit, so then you have "git diff" (tree to index), "git diff --cached" (index to HEAD) and "git diff HEAD" (tree to HEAD).

What's the point of staging a commit, when a commit can be amended? You need staging for something that cannot be easily fixed once it is deployed.
That must have been fun.

In the late 90s I worked in the server support line for DEC, and the number of times we had to talk people through the "invisible F6 prompt" was nuts.
Wasn't Azuerus the one with 3d views of seeds and peers? It was crazy to see that in a torrent client at the time.. I remember it getting very bloated and rebranded to Vuze before I left it for other smaller and faster clients
Another (recently former!) Jafa. Possibly crossed paths also, given how many years in the industry :)
> The old joke is that there's a new JavaScript framework every month. That's not really true — we've had the same big three for a decade

Yup. I know a few people who were using React 10 years ago and still use it today. What has changed frequently is the tooling. e.g. Bower going away in favor of NPM; Gulp/Grunt going away in favor of Webpack, which is slowly going away in favor of Vite; CoffeeScript going away in favor of TypeScript; AMD/CJS/UMD going away in favor of ES modules, and so on.

ClojureScript has a great deal of stability in both the language itself and tooling, but nowadays I can't give up the developer experience of TypeScript and Vite. The churn in the tooling of the JS/TS ecosystem is wild, but since about 2021 I have found ESM + TypeScript + Vite to provide fast compile times, fearless refactoring, and a similar level of hot-reloading that I enjoyed in Clojure(Script). Can't say I miss Webpack, though!
Underrated book IMO.

I enjoyed it more than the 3 body problem: the characters are better written, their motivations make more sense despite having much less time for actually developing them.

I was really having fun trying to figure out how to make the best of an impossible to solve situation. And the SCP lore is wonderful.
.50 cal sniper rifles and shoulder launched weapons like Carl Gustaf, the M72 LAW or the AT4 can.

Firing a rifle may or may not cause shock waves that are strong enough. If you have been firing a whole day you definitely feel funny in the head.
Is this a joke on that soccer player Messi?
But the second half, "P is true for x", still has to be proven and is not vacuous.
So in other words, -De is not a workaround. -Dde might be but it will cause more log output than is wanted.
I don't think it would break the neck. Typical AK47 bullet at 100yd has momentum 5 kgm/s, which is about the same as a baseball at 77mph.
Hey, would you be open to applications from other countries ex - UK for remote roles?
Electrolyte water is 1L water, 1/2 tsp salt, 2T sugar. How you substitute and make it taste like whatever sports drink is up to you at that point. Blue gatorade is the above with blue flavor powder, maybe 1/2 lemon for flavor…and sub 1T sugar for honey to get potassium and magnesium. But really there is no “secret formula”, society is just lazy consumer whores.
Wow, i really like this, especially the Math blocks. How do I create them?

CMD + L is not working on Safari, since it will open the address bar.
The pathology of the "Weaver" lies in the–dare I say—kitsch portrayal of what is traditionally the norm in oral cultures. The problem is that contemporary art lacks the richness of these cultures of the past.

I have a hunch that a part of the topic of "neurodivergence" is an abstraction over the effects of a hyperliterate society without a cause or heritage and the trials that people of a more oral disposition face.

The advocacy you speak of is also concerning, because it makes it all the more apparent to me that people with bad taste (i.e., are culturally deprived) are using the pathology of pathologizing as a power grab.
The kei car or truck is a class of vehicles of a certain engine size in which owners don’t have to pay road tax in Japan. This includes Suzuki Jimny.

I don’t really see how one model of car can take on like 50 models of car ?

The champ looks larger than most kei cars anyway…so it’s a different class of vehicle.
Indeed, that's why I mentioned arXiv.
I just pushed the concurrent version of lookups in each resolver. Speed up is quite good around 70-80% on most domains. Will test this more before releasing to main!

https://github.com/mr-karan/doggo/pull/128#issuecomment-2202...
Fwiw, I know LGTM as "let's get this moving" on pull requests. Seems to be contended.
Keep asking those questions while trump implements project 2025. I’m sure once you figure it out, the stooges behind it will give up all that juicy executive power.
One might argue that an LSM tree has a WAL — LSM’s log contains logical records instead of physical changes, but it seems like the essentials are there.
You are right. GIT is not DVFS, its DVCS. It was made to track source code, not binary data. If you are putting binary to DVCS, you are doing something wrong.

But, there are industries that need it, like game industry. So they should use tool that allow that. I heard that Plastic-SCM is pretty decent at it. Never used it so cant tell personally.

Replacing GIT is such a stupid idea. There is no ONE tool to handle all cases. Just use right one for your workflows. I, for example, have a need to version binary files. I know GIT handles them badly, but I really like the tool. Solution? I wrote my own simple DVFS tool for that usecase: dot.exe (138KB)

Its very simple DVFS for personal use, peer to peer syncing (local, TCP, SSH). Data and Metadata are SHA-1 checksumed. Its pretty speedy for my needs :)
After weeks of use use I liked it so much, I added pack storage to handle text files and moved all my notes from SVN to DOT :)
>> The rebase vs merge disaster

> ??? How is this a disaster?

Not a disaster, but merge was not strictly needed. We could've lived with rebase only.

But in git (unlike in jj) rebase is deeply flawed. If you ever needed to resolve the same conflict through several commits you know it. That flawed git implementation is why people kept using merge yo solve the problem on a single final commit.
Reminds me this lovely game right here: https://www.trickytowers.com/
By all of them being written in Rust they could reuse other's packages (crates), AFAIK the vite team is writing rolldown (to replace rollup) and they are using crates from the oxc project, not sure about the others.
Having skimmed the report I am not happy with the arguments within.

Is 60% efficiency for CCGTs in variable generation following mode realistic? 65% peak is possible in new CCGTs, by running continuously to keep the steam generating cycle going, however observed gas plant efficiency in the UK is just shy of 48% per DUKES data. https://www.gov.uk/government/statistics/electricity-chapter...

Is 71% efficiency of conversion from electricity to gas what is seen in industrial scale windgas installations? Are there many hundreds of MW windgas installations in 2024?

Where is the carbon coming from to turn into methane? Is there some sort of carbon capture going on (and shouldn't this be costed in)?

How much transmission build-out is required to support an additional 11.2GW of wind? How much does this cost given the low utilisation? Even if the electricity to gas plants are located within the wind farm, 11.2GW represents many square kilometers of land.

It is assumed that the methane network and storage are already there. The economics of storing the gas (also whether the gas can be taken out of the system at the same price and priority it is put in) is not addressed.

The study compares the price that will be paid for HPC power (including risk etc) with the cost of the components of the windgas system which is not the same as a company proposing and building the whole system (preparation, financing, risk etc).
I got into a bank first as a contractor and then just hanging tight until an internal full time spot opened up. Maybe see if there's some managed services agencies hiring that can get you in somewhere
IIRC the real numbers are, roughly speaking, more-or-less isomorphic to infinite sequences of digits. If you believe real numbers are fantastical, I suppose you also believe infinite sequences are fantastical? We can't have one in the universe, because we'd run out of atoms, but we can't have circles either and that is rarely complained about.
If you have been firing a whole day, you definitely fell funny in the head.

Ear protecting does not protect brain much. It protects hearing. Brain heals from very mild damage when there is time to rest, but when you shoot all day, day after day, the damage can accumulate. One already recognized problem area is the show wave getting between helmet and skull. It can amplify the impact.

Nobody knows what the impact from very frequent rifle training is. Very people few do that. Once a month in the range is probably not enough.
I think you're focusing purely on educational uses of phones, when you could have a locked-down tablet for that. Phones do far more than that, and it's definitely not all positive.
You meant to say tftp right? I'm just checking if there is some long lost technology called Tfpt that I have never heard of.
Exported in WASM to play directly in the browser, including Horn of the Abyss.

I would pay for this.

You'd probably have to redo the art though, since 3DO will unlikely do this port and I doubt they would licence the IP.
What people really want is sub-second booting, especially in embedded. It is a hard problem but somehow nobody seems interested in doing the hard CS research to solve it.
I recently conducted an experiment using AI agents to send personalized emails to nearly 1,000 developers with public blogs on GitHub. The goal was to introduce them to my CMS product, wisp, and the results were surprisingly.

The tech stack included LangChain's LangGraph for building AI agents and LangSmith for monitoring. I used Node.js and TypeScript to create a workflow with three AI agents:

1. WebInfoAgent: Gathered contextual information about recipients

2. EmailAgent: Crafted personalized emails based on the gathered data

3. JobReportAgent: Documented the process and tracked results

Key results:

- 20% click-through rate (180+ clicks in a single day)

- 10+ signups attributed to the campaign

- $0.20 cost per personalized email

- Median time of 26 seconds per email

- Multilingual capability (emails sent in Chinese, Korean, Spanish, and French)

The experiment highlighted both the potential and challenges of using AI for outreach. While the results were impressive, it made me think about ethical considerations down the line when this becomes more prevalent. I've since stopped the experiment to figure out what's next.

I'm eager to hear your thoughts, experiences, or concerns about using AI for business processes. How do you see this technology shaping the future of work and communication?
> he secured the title at just ten years, eight months and 16 days. He broke the previous record, held by U.S. player Abhimanyu Mishra, who did it in 2019 aged 10 years, nine months and three days

So ‘10’ isn’t even actually much of a distinction - the previous youngest chest master was 10 years old also. The new kid wins the distinction by less than two months.

Becoming a chess master at that age is nonetheless an incredible achievement of course - but when we get down to the point where we’re counting days, thats says ‘diminishing returns’ to me.
There’s an Apple podcast that touches on some of the aspects related to this: https://www.apple.com/tv-pr/originals/the-line-podcast/
Climbing over the gate doesn’t even need a screwdriver
Just did: https://github.com/mr-karan/doggo/pull/128

Will release soon
Plenty of people export them, annoyingly for Japanese , this drives up the prices on second hand vehicles…what’s supposed to be a cheap inexpensive cars becomes a delicacy in the US lol
> you can become really hard to hit by all but the best shooters by… walking away slowly in a zigzag. Near impossible if you run.

Idk if i would trust my life with that. What if they just spray a bunch of bullets in the general direction I am? Also what is the minimum distance where this tactic becomes effective? I just can’t imagine that zigzagging helps that much when you are 2 meters away from the shooter. And then there is the question of what is the typical distance between the shooter and the victim in most gun violence scenarios. Would not be surprised if that is inside the “zigzag helps you” distance.

Besides… how would going to a range and shooting guns help one learn this information? It feels what you really would need is someone practicing running away from someone with murderous intent to get an intuitive understanding of what you are claiming. And of course people are reluctant to practice that.
No. The major concern is that bad ticks make it through your filters, which is more than likely going to make your models do something wonky.

It's been many years since I worked on cleaning data but essentially each event you receive is mapped to a code. Depending on your data provider, those codes may change at any time. Thomson Reuters is/was quite notorious for this. Maybe after Refinitiv spun out they cleaned up that mess but from what I have heard it is unlikely.
In the hobby market, KiCad is already really big with >40% market share in some fabs: https://aisler.social/@aislerhq/111806804691963640

And the latest moves from Altium will promote growth in the professional market.
It's OK to deadname and misgender Twitter, because she's owned by Elon Musk, and it pisses him off to get a taste of his own medicine.
Hydro is extremely throttleable; most plants can go from 0 to 100% or vice versa in a couple of minutes.
Well, the white-on-grey colourscheme is quite unfortunate as it does make the text a bit of a blurry mess, but the formatting is fine. That is to say, on desktop the font size is well chosen and the line length is reasonable (if maybe a bit short).

...Just to be sure though, you are aware that the link in his post isn't his website, right?
For me is the fact that we need a bundler is the underlying issue. I would love that bundlers became first class citizens and come already with the Javascript runtime, similar on how Bun and in some degree Deno does (AFAIK their bundler is intended to use to bundle apps to use in the server and not in the browser).
My first IT job involved installing a lot of Windows 95 from floppy disk. Luckily each PC I bought came with a set, so I'd build up some "good sets" over time after discarding all the disks that had read errors.
Location: Italy
Remote: Yes, no hybrid
Willing to relocate: No
Technologies: Python, Go, C++, TypeScript, GitHub Actions, Docker
Résumé/CV: https://resume.silvanocerza.com/
Email: silvanocerza{at}gmail[dot].com

I have 9 years of experience working on multi-platform application, web apps, libraries and framework in different languages.

I prefer working mainly on Open Source projects. I was one of the main developers of the Arduino CLI. Now working on Haystack, an AI framework.
Of course, Mermin's device can be simulated in a classical computer, we do quantum physics simulations for research all the time. That doesn't entail that we can have quantum computer speedups on a classical computer.

Indeed, the whole point of Mermin's device is to give a very simple illustration for how it is impossible to replicate the behaviour of two entangled particles using classical particles (with hidden variables).

Now is this specific characteristic of entanglement an absolute requirement for quantum computing speedups? Could we have similar speedups with probabilistic hidden-variable algorithms? Probably not, but it is a good question. It is true that if you spend time reading research papers in the field, it is still not clear what the edge is between problems that can be sped up by quantum computers and which cannot, or if there is even an edge at all.
Location:WA,US
Remote: YES
WTR: NO
Tech: Expert Build/Release Automation
Resume: NVIDIA, Moody's, Oracle, LEGO
https://www.linkedin.com/in/frohbieter
Last 2 companies sold for 2.5b and 2b
Email: digiphilo at gmail dot com
Thanks mate, I really appreciate! You are always free to contribute.
It's no longer unawful for the commander in chief to consider an opponent a threat to the country and have them killed.

That's the problem.
Segment Any Text
from what I understand, databento is just aggregating exchange data. They must have some deal for processed data. Their MBO data is not cheap and they don't have much history. I would not trust their bars without a whitepaper documenting how they clean each market.
Pure CSS Logos from CodePen
Ameba | Multiple Roles | London | Full-time | On-site
Join us in building Ameba, the AI-powered platform revolutionising supply chains!
We’re hiring a backend engineer, frontend engineer, sites reliability engineer and product designer to join our growing team in London.
We're a startup made up of experienced entrepreneurs (who have previously raised $160m+) and builders (formerly at Google, Microsoft, Snap, Palantir & MIT). We have big ambitions and are backed by the best investors in Europe.
You can apply to our open roles on LinkedIn: https://www.linkedin.com/company/amebasystems/
Or email me: craig at ameba.ai
As a non-crypto person, this is the sort of use I could imagine IPFS being put to. Slow, distributed storage of websites like archive.org.
Like 10-15 minutes ....

git co master
git co my-branch -- .
git add -up . # select changes relevant to first pr
git commit
git reset HEAD --hard
# and again...
You're right that a lot that is "usually defined" in math has to be explicitly defined in theorem prover/proof assistant

* abs(x) is usually defined as "x if x >=0 and -x if x < 0"

* sign(x) is usually defined as "1 if x >=0 and -1 if x < 0"

* with these definitions, it follows that for any x, x = sign(x) * abs(x) (by definition applied for each cases >=0 and <0, assuming that all integer are either >=0 or <0)

Showing that any integer is either even or odd seem less obvious
Ex artillery officer here, the shockwaves from firing artillery can be so powerful they can knock you off your feet if you're standing in the wrong place at the wrong time and caught unawares
Those extra chairs aren't just given away for free for the benefit of humanity. The company sells them, and hence directly profits from the increased productivity. Meanwhile, the workers who actually make them likely never see their net worth increase because of it, and the executives do. This is a story that's been repeated for centuries.
If they didn’t tell us it was built in Rust how would we ever know how smart the developers are?
looks great! thanks for sharing