skysight-inc/HackerNews huggingface dataset:
I think it's fine. It's analogous to starting induction from 0 over the natural numbers.

It does feel a bit tricky though because there are two nested foralls instead of just one in standard induction. I think to derive it from standard induction you need to perform induction over sets of statements, which takes more power than first order logic. This additional power is generally accepted in math courses. It isn't necessary though, you can prove the irrationality of sqrt 2 using standard induction.

The article discussed how additional techniques can be made rigorous in the opening paragraph. I agree that the author didn't fully justify the assumptions in the proof system used, instead bringing this well ordered induction as an axiom. This is an article, I think a full aximization would have taken too long.
Anyone else here just totally crap bricks when they see news like this? Like, I wake up and instantly think all my servers are going to be owned and freak out. Though its usually never that bad, sometimes it is. Looks like in this case my debian servers were fine though.

edit: maybe i should add an iptable rule to only allow ssh from my IP.
I suspect that humans will sleep around enough that you don't need specific laws to make it happen...
I'm running a nanode for a few personal projects and their dashboard was showing something close to 8mbps since 05/29/2024. Went almost 2TB over for the month of June. Nearly 4x'ed my bill. It's not a lot, but it seems like someone's use case like mine (streaming music) could have easily exploded their monthly compute budget on this.

Just checked with nethogs, the VPS averages ~250kbps, so this is a near 32x increase in reported bandwidth usage on my end.
Can confirm. I started working in IT for the university in town and it's boring (in a good way)
Is this account a GPT bot?

I don't see what this matter-of-fact objective summary of the github page adds to the discussion, and why a human would ever feel the need to leave such a comment.

Post/comment history is full of suspiciously GPT-like articulation too.

Curious what the end goal is.
Ouch, I first thought this was the example of how to do these things _before_ reflection is introduced to C++

The for loop required to do enum to string really makes it
Poll: Favorite Programming Language?
For professional use ? Hobbyist use ?

I probably rely on Python and JS when I want to build a side project, but I prefer C# professionally.
OCAML
Other Interpreted
Other Compiled
SEEKING WORK - (WORLDWIDE availability) - Remote

Technologies: iOS (Swift), KMM, Android, Python (Django), Stripe

Super-short bio: 13+ years of professional software engineering experience

Email: mmavris{at}paleblueapps.com.

Looking forward to hearing from you!
Seconded. Been working in various parts of banking software for almost 20 years, sometimes startup, sometimes enterprise.

As long as your fine with Java, then there's nothing that terrible with the enterprise stuff, and you'll get more free time due to other people blocking your work.
theoretically your result has to be (1) novel and (2) published with such a good explanation that people understand both the result and what's novel about it, as well as how to reproduce it, but yes. the difference between tinkering and science is documentation, and it needs to be public and conscious of the existing discourse to be scholarship
Looks super interesting!
And https://en.wikipedia.org/wiki/Mako_(Mass_Effect)
Show HN: Dgm.js – An open-source React component for infinite canvas
I made a DGM.js - react component for infinite canvas which can be used to develop Excalidraw, tldraw, Miro, etc. It supports:

- Headless components (React)
- Infinite canvas
- Multi-page support
- Hand-drawn styles
- Real-time collaboration
- Dark mode (adaptive colors)
- Export to image (PNG, SVG)
- Rich text
- JSON export/import

https://github.com/dgmjs/dgmjs
are you talking about the design decisions that define smalltalk or something else
I do not recommend C++ CLI.

Can you elaborate on why?

I looked at various ways for interop between C# and C++ over the years, and overall found C++/CLI to be the best overall for our particular application types: it's a separate layer bewteen a C++ backend (which is also used in other non-gui applications), with a windows-only WPF desktop application on top. Mainly because the C++/CLI code itself is simple, readable and fairly effortless to write and maintain. A bit repetitive at times though, but that's going to be the case for any such layer AFAIK. Integration on the C# is seamless, with code completion etc, and C# interfaces can be implemented in C++/CLI directly for instance. The initial setup takes some work but with conversion between common types implemented (ability to e.g. IEnumerable<ManagedT> <-> std::vector<NativeT> or std::iterator<NativeT> etc) it's all pleasant and good.

or check this library of mine https://github.com/Const-me/ComLightInterop/

Gotta say this looks neat, but it's exactly the type of code I'd rather not write: UUIDs, bunch of macros, unclear mapping between return types (HRESULT vs bool), having to declare same interfaces both in C++ and C#, ...
> an exit velocity of the water jet of over 600 ft/s.

I’m completely unfamiliar with any of this stuff so please keep this in mind…

If that’s the exit velocity, shouldn’t the turbine it’s spinning be geared to give a bit more resistance?

Or is that the velocity of the water if its path is unimpeded?
Agenta | Hybrid (Berlin) | Full Time

Agenta is an open-source LLM developer platform that provides all the necessary tools for rapidly building reliable LLM applications. Features include prompt management, evaluation, human feedback, and observability. Find out more about us at https://github.com/agenta-ai/agenta

Our tech stack includes Python, FastAPI, MongoDB, Typescript, ReactJS, and NextJS.

We are hiring:

Founding Product Engineer - Frontend: Ideally, you have previously worked in early-stage startups, can manage features from design to production, and have some background in LLMs.

You can find more details about this role here: https://agentaai.notion.site/Founding-Product-Engineer-Front...

If you're interested, please contact us directly at: careers@agenta.ai
This is a wonderful project, I had no idea there was so much fragmentation n the topic of consciousness. Maybe we should feed these writings and concepts to AI and ask it to give us any grand unifying commonality among them, if any.
I can tell you my choice of those big plastic buckets works but has created an absolute mess.

I think a bit of mess is guaranteed, a rats nest or hanging vines. Yanking and shoving is part of it, keeping things sorted I believe is about the best one can do
Yeah we didn't need those silly hardrives with their crufty filesystems.
Yes, all of those languages made that bad decision back in the 90s and came to regret it. What's ridiculous is refusing to learn from that.
gRPC: The Good Parts
I really tried to like jj but I couldn’t make it work for my workflow:

There are files that are committed to repository that I need to edit (e.g. .envrc files, which cannot be overridden). There is no way I can ignore those in Jujutsu.

In plain git I can do sparse checkout using negative paths and it works. jj doesn’t support it, and using positive path doesn’t work as I never know if new files are there.

Every push was a dance around removing my changes. I’m checking if there’s progress from time to time but there’s no so far.

But just yesterday I decided to check git branchless as I’m exploring stacked PR workflow and I can say it’s intriguing and even if more rough around the edges than jj I haven’t yet found any showstoppers.
No need to fly over to the Vatican, if you pop round my gaff I charge a small fee for Knighthoods and Sainthoods.

I bought an old sword from a car boot sale, I've cleaned it up so its nice a shiny. I use that for the dubbing.

I provide a free cup of tea and biscuits.

The certificate will be sent in the post via Royal Mail signed for mail.
> Weavers are a small minority of communicators, and they do not communicate with a destination in mind.

I would question "small minority". I've met quite a few people who like the sound of their own voice so much they don't care about the actual message.
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 — but there has been an explosion of new bundlers: vite, esbuild, turbopack, farm, swc, rome/biome, rspack, rolldown, mako. And of course plenty of projects are still using rollup and webpack.

Some competition is a good thing, and it seems to have led to a drive for performance in all these projects which I'm not complaining about, but I wonder if more could be gained by working together. Does every major company or framework need their own bundler?
Maybe add a note that the site doesn't work in Safari. I tried clicking on some random icons and didn't understand what was going on. In Firefox the laylout looks correct but I don't have a clue how to use it.
Not what you're asking, but how about clearing out the collection and keeping a few of each instead of many? I did that recently with my cables and adapters and threw out probably 70% of duplicate and old items.
Many C++ features are useless outside of writing libraries, but your typical developer is going to be forced to understand how they work at some point. The result is just a burden.
It's not representative. Bench trials can be equally dangerous. Judges are overwhelmingly ex-prosecutors (I think the stats are >80%).

I know someone who recently took a bench trial. No evidence of a crime was presented. The closing argument was the defense was "There was zero, zip, zilch evidence of any crime committed, and no mention of the defendant by anyone." The judge found the defendant guilty and then retired the next day. It's on appeal. C'est la vie.

(OTOH I saw a judge take a bench trial on a crime they'd committed, and their buddy was the trier of fact. The first witness had barely stepped onto the stand when the defendant was pronounced not guilty. LOL)
ME/CFS can also be triggered by viruses. Epstein-Barr virus and SARS-CoV-2 both are suspected triggers.
bbs-over-dns is so interesting!

I liked the output of:
doggo @bbs-over-dns.com txt bbs-over-dns.com | sort | less
The War Powers Act is questionable. The US never declared war in Vietnam. The president simply sent troops to Vietnam knowing that they would end up fighting. But the president said he had that authority as commander-in-chief. The War Powers Act was supposed to address that.

If the president actually has the authority to send troops into combat without a declaration of war, then Congress can’t take it away from him, just like Congress can’t make it illegal to veto bills.

The War Powers Act doesn’t really set any punishment for the president if he ignores it. It effectively says that if the president does certain things (consult with Congress, follow certain timelines, issue reports) then Congress won’t complain. Presidents have generally followed those procedures without admitting that’s what they’re doing (they issue reports “consistent with” the Act, but never admit the report was required by the Act). But if a president completely ignores those requirements, Congress has to figure out what to do about it; which is exactly what would happen if the Act didn’t exist.
Yes, 100%. Besides, the feature analysis was not entirely correct.
Thankfully it is so easy to quickly import libraries into C++...
Well, because the dissent doesn’t mention it.
I’m not sure that’s true. They are also mainly going to Northern Europe
A better way for suboptimal workflow to begin with („multitasking” on branches)?
Speaking of booting Linux from places, what I would like to be able to do is carry a Linux image around with me on my (Android) smartphone, plug the phone into a USB port on a laptop and boot the Linux image from there on the laptop. Does such a thing exist?
I was quite moved to read the account of how the papers of the diseased Jewish Philosopher Husserl where saved for posterity.

This quote struck me hard: > This reveals one of the essential characteristics of an archive. To be an archive, the material must be public – there is no such thing as a private archive. It is located in space, a space outside the person whom it historicises. In this way, an archive is always threatened with destruction, and with it the person or time commemorated. Totalitarian governments of all stripes have recognised this – for all the defiance of the Russian writer Mikhail Bulgakov’s phrase ‘manuscripts don’t burn’ – they do, and with them are immolated lives, ways of being, and cultures.

We must continue to build out systems like #nostr and #bittorrent -like hosting to ensure that any culture will survive the next wave of Left or Right politics that will no doubt require its own wave of (digital) book burnings
Yes, there needs to be some legal mechanism to release specs and diagnostics if manuf can't provide service...eg cos they went bankrupt or where all licensed technicians are 6mo backlogged.
Some sort of a legal documentation escrow where the info is released every time the manuf isn't living up to commitment
https://play.google.com/store/apps/details?id=com.softwareba....

It dosen't work on all smartphone
Karma farming to sell account for astroturfing or marketing maybe?
That was an exceptionally good read. Would also love a link to Part 2.
Changing a variable hoping to notice changes _is_ forming an hypothesis contrary to what this article is claiming
https://www.youtube.com/watch?v=Y8icpnrLqx0
Flims in Switzerland has a kind of hybrid scheme planned where they use a reservoir for both snowmaking and hydroelectricity.

https://www.wasserweltenflims.ch/wasser-in-flims/mehrzwecksp...
He casually mentions he boots of S3 as well. Changing S3 for Google Drive mostly adds latency, apparently.

But still, nicely done!
Undocumented: Ctrl + K and Ctrl + O also work.

Ctrl + K was actually the first. Ctrl + O because it's naturally "open". And you can switch to command palette with `>`, like in vs code.

I've added Ctrl + P and made it the documented one because I also use VS Code heavily and I was tired of context switching.

It's unfortunate that it conflicts with browser's Print but I figured that you do this often and print rarely.

The ultimate solution, of course, is to allow customizing keybindings.
This assumes companies are rational actors.
Exactly what I had in mind. Thank you.
I had a friend who had tinnitus from repeated exposure to explosions in the army. To combat his tinnitus he developed the habit of talking incessantly and at home would always have music playing. Sounds kinda funny but I could tell that it was having a significantly negative impact on his life.
The embedding model outputs a vector, which is a list of floats. If we wrap the embedding model with a function that adds a few extra dimensions (one for each of these numeric variables, perhaps compressed into the range zero to one) then we would end up with vectors that have a few extra dimensions (e.g. 800 dimensions instead of 784 dimensions). Vector similarity should still just work, no?
This is remote (US only)
Note that you should really be using std:print rather than std::cout if using modern C++.
Show HN: Grateful Jar. A journal to collect and recall grateful moments
Since the beginning of the yearI have been playing around with Swift & SwiftUI and never finished a project so I decided to build this gratitude journal over the weekend and launch it.

All your entries are kept on your phone and synced with your iCloud.

Enjoy!
LMK if anything doesn't work or can be improved.
File uploading / downloading is planned further down the road.
> The only solution here is mandatory re-education and/or limiting who can vote, or hopefully waiting for the oldest and most stubborn conservatives to die out so alphas and gen-z can vote with a little more heart and brain.

Goodness.
This is not what this phrase is about. I came to it working on the structural data of just under 100k Chinese characters. I'd spend hours, days and weeks proofreading and correcting formulas, so your "advocating and being a champion for inaccuracy" doesn't stick. But absent an automated, complete coverage of all records against a known error-free data set, there will likely be a small percentage of errors and dubious cases.

And thanks by the way for the readiness to jump to conclusions and fire a salve of allegations, viz. "willingly", "knowingly", "introducing", "ridiculous"
Fondant | Generative 3D workflows | AI/ML Engineer (diffusion models) | Full time, REMOTE

We are hiring for diffusion model experts at Fondant. You will be a great fit if you can implement, customize and deploy SOTA open-source research in image, 3D and video diffusion models. Experience with finetuning and pretraining would be a huge plus.

Reach out at my username [at] fondant.design with a short blurb about yourself and link(s) to personal contribution(s) e.g., open-source code, cool demo of something you built etc.

Fondant is on a mission to make 3D more accessible. We are building a tool that harnesses the latest advancements in generative AI/ML to make new 3D workflows for modeling and rendering. Traditional 3D tools are often unapproachable (think Blender, 3DS Max). We are leveraging the lessons learnt from computer graphics + SOTA work on 3D reconstruction, NeRFs, gaussian splatting and image generation.

We have an early product + users + funding.
Yes I've heard the same story with Leonardo Da Vinci.
battery costs are falling incredibly fast, so maybe this whole conversation will be moot soon
> One meta point to keep in mind: many of the points here mirror the downsides of dynamic typing in comparison to static typing (again, not to imply that dynamic typing is not sometimes useful), because in some sense, it is the same problem but in a different context – instead of run time vs compile time, we’re talking about instantiation time vs declaration time. Yes, you have more flexibility to do whatever you want, but the problem is that you have more flexibility to do whatever you want.

This is the first time I've seen something said so similarly to how I feel about what the article describes as "template"-style generics; it has a similar user experience to duck typing where you have to just use something that fits the expected shape where it's being used or else everything falls apart. The happy path where everything is done correctly is certainly less verbose, but at least personally I don't end up feeling like it's less work in the long run to have the errors that inevitably happen when I slip up take so much more effort to debug.
That's pretty neat! What's the C++20 feature that enables this?
Review My Chrome Extension
I only use that for `Alt + 1` - `Alt + 9` quick access shortcuts.

`Alt + N` for new scratch note is implemented via `Mod-n` CodeMirror keymap (keymap.js) so I'm not sure why it wouldn't work.
Show HN: Community based tamagotchi where you have to pay to win
Everyone is making the point that using JavaScript on the server was a BIG mistake, with this ongoing rewrites.

We already had our bundlers in Java and .NET land, before nodejs came to be, and life was good.
If I understood it right, its firing artillery, not rifles. Even then I doubt cavitation, but not shock echos at density borders tearing he tissues at the border.
#DTypeHydrapulper #paperrecyclingmachine #PaperMachineEquipment
Leave your email for price!
If you are interested, you can contact us.
Email address: wastepapermachine@gmail.com
https://www.flutingpapermachine.com/solution/tissue-paper-ma...
#papermill #papermachinepulpmachine #everyone
How much additional time is needed to break a self-contained change that's the smallest it can reasonably be without breaking anything into a bunch of smaller changes though?
Well, supposing this is true, the situation has changed dramatically - women just don't want to have babies in general, globally. And I doubt a war or some patriotic duty would change their minds.
Isn't using the phrase "cultural appropriation" without being American a cultural appropriation? This idea and terminology was originally invented and developed in the US, so being Australian, please stop culturally appropriating our cultural appropriation. However, if you still feel you have the right to use it publicly, then you've started to understand why the Koala Kare exists. The creators of the brand felt the same way as you.
If this is accurate there is likely very little to be done, and the solution will likely be to have less training and retire a decade sooner.
>I only post here, and again prefer the here-ness of this place over those other places.

I think you should get out more. There is nothing exceptional about HN other than there's a lot less eyes on it.
Check out https://unify.ai/chat if you're interested in a router optimised for cost/ttft/performance for commercial language models.
I am a big defender that the only way to fix many of the mistakes that ended up in the standard is to adopt the same policy as other languages, papers without preview implementations shouldn't be accepted.

There are still a few gotchas being ironed out, there was a talk at ACCU about many corner cases.
I've recently taken a legacy Typescript clientside codebase that was using webpack to generate tens of js packages from minutes to seconds by using bun [0] for both dev and build:

For dev I replaced webpack with "bun vite": it loads scripts ad hoc and is thus super fast at startup, and it still supports hot reloading.

For build I use "bun build". I've created a small script where I don't specify the output folder, but just intercept it, and do some simple search & replace things. It works perfectly, although it's a bit of a hack (simplified code):

const result = await Bun.build({
entrypoints: [srcName],
root: "./",
minify: true,
naming: `${configuratorName}.[hash].[ext]`,
});
for (const r of result.outputs) {
let jsSource = await r.text()
jsSource = jsSource.replaceAll("import.meta.hot","false")
Bun.write(outdir + r.path.substring(1), jsSource);
}

It might not be pretty, but it works super fast, and it only took me a couple of hours to convert the whole thing...

Update:

For the record, the real script also uses the HtmlRewriter from cloudflare (included by default in bun) to alter some basic things in HTML templates as well...

[0] https://bun.sh
Sure it depends on the content of the video. Video is great for learning how to fix your lawn mower but other that it feels more like wasting time, at least if its not for your entertainment but to learn something. Thanks for the link will try it out.