skysight-inc/HackerNews huggingface dataset:
May also sometimes, when designing algorithms, be useful for documenting pre- and post-conditions and invariants in procedural languages that lack embedding such specifications. You can't really reason about these things in the language itself and end up having to use something else (predicate calculus usually) but it's nice to at least have an indicator, as tfa suggests! What code doesn't do is important!
Fair source is worse than the AGPL though, sure it's "eventually open source" but what good is 2 year old code for anyone? How do you add improvements/security fixes to the codebase without the developer saying you didn't clean room the implementation?
Show HN: Create flowcharts with swimlanes, using chat
This creates flowcharts with swimlanes, according to the BPMN standard (Business Process Modelling Notation).

I used to create them when I was a business analyst.
But I continued to find them useful as a 'consumer', when I became a software engineer.

I'm planning on building this out into a 'Business Analyst Copilot'.
But I'm considering building for other roles and use cases as well.

If you just want to see a rendered example, here's one where the chat request was 'Create a process diagram for bug triage and resolution.':
https://i.imgur.com/uq2KWSs.png
Start with a Security+ cert. It is the baby entry level certification for information security, but it is widely respected. More importantly, it is the first level of candidate screening for IT employment in the federal government.

Graduate to the CISSP. It is a management certification, but for the last 20 years it has been considered the gold standard for information security employment, and that is likewise reflected in federal government employment.

If you want to work in any relation to the DOD you will need a security clearance. If you have a regular federal background check that is active you are immediately more employable than other people. If you have a secret you are supremely more employable than other people. If you have a TS you are more employable than having a secret and can demand a much higher salary as a contractor, but to use a TS you will likely have to work on site at a SCIF.

A graduate degree and prior military experience in a leadership capacity seem to be equally weighted for consideration in federal employment and are supremely beneficial. A graduate degree is more practical as military experience alone will not provide career elevation.

Specifically for Cyber offense/security jobs you need to aware of CVE reports, reporting processes, mitigation, and security operations. It's absolutely more administrative and operational than technical, but technical skills are nonetheless essential for consideration. You will also want to look at the GSEC certifications, but those are ridiculously expensive.
Infosec vacancies abound, but hiring is flat
Key Trustee: Build AI applications without worrying about keys or servers
Show HN: I made a tool to see which countries are sleeping and which are awake
I read the first of The Three Body Problem trilogy in print, and then listened to audiobook versions of the second & third books. Only they weren't audiobooks. I downloaded PDFs and then used a mobile app (Librera, I believe) to "read" them to me while I exercised. The benefit is that it allows arbitrary text to be converted to audio, but the downside is that it's only able to use your device's TTS voices, and there aren't any AI smarts built-in, so it was like listening to the Google Assistant read an audiobook. It got the job done, but now I have a somewhat visceral reaction to that Assistant voice having associated it with Chinese sci-fi for several weeks.

Something better would be very much appreciated. It's still not a replacement for high quality, professionally narrated audiobooks, but -- like you said, it's not just books that I'd like to consume this way.
There seems to be no particular reason to expect exponential growth here to me. Can you explain why you'd expect that?
Windows Update can and will grab most third-party drivers for your hardware if you let it, this includes video card drivers from Intel, Nvidia, and AMD.
MBAs aren't that stupid. Either they make more money by selling less at a higher price (consider, a 20% increase in price might be a 50% increase in profit), or they are sowing losses for tax purposes.
Hey all, I had a pretty wild debugging session recently and thought I'd write it up. Figured it might be helpful for anyone else in a similar late-night code crunch.

Let me know if it resonates with any of your experiences!
Tainted seems a little strong, but I think you're right, there's nothing in the CAB Baseline Requirements [1] that requires DNSSEC use by CAs. I wouldn't push for DNSSEC to be required, though, as it's been so sparsely adopted. Any security benefit would be marginal. Second level domain usage has been decreasing (both in percentage and absolute number) since min-2023 [2]. We need to look past DNSSEC.

[1] https://cabforum.org/working-groups/server/baseline-requirem...

[2] https://www.verisign.com/en_US/company-information/verisign-...
None of that justifies an app, vs an in-store kiosk or a website.
You're overcomplicating it; you only need a single clutch and in/out springs[1] to do this. If you're spinning at 4000 rpm and your springs cover 6 degrees of rotation, then your clutch needs to be able to actuate at 4000 Hz.

When the clutch is engaged, the engine-side springs compress to supply the torque and match the speed difference. When it's disengaged, the springs expand back out as it returns to engine speed. The obvious problem is that clutches do not smoothly click on and off like a transistor.

However there are more specialized devices that use stick-slip dynamics like piezo actuators. Since there is a much more rapid transition between "on"/"off", they can be very efficient and allow relatively weak devices to exert very large forces. They're just only able to take very small steps.

[1] Labeled 4 here: https://haynes.com/en-gb/sites/default/files/styles/blog_lan...
It's my personal blog post and I shared what I got, how I configured my Rack, which settings I used for my WLANs, how I use double WAN, the tools, and many other things. At the end, I even shared how much I paid (I live in Turkey, there is no sponsorship here, there is not even a Unifi store). So no, it's not an ad, just my personal experience.
We aren't democratic governments. We are subjects to governments, who we must pay taxes to, and customers of corporations, who we pay if they can produce stuff we like for cheap enough.
I wish this kind of projects were being on prediction markets, so I could make good money by betting on them failing, like they always do.
Someone should invent a way to communicate without requiring a a 1:n app for every destination. They should make some kind of n:n web that connects everyone to every destination.
It's called the cloud or Backblaze.
Encrypt with your own keys and let them worry about moving the data to new drives every so often.
What proportion of Americans are traveling from one job site to the next? Surely, the vast majority are coming home every day, and the vast majority of those presumably have a kitchen.
All three of those things were added in Sept-Nov of 2021. By January 2021 the game had already sold >1 million copies.

It was absolutely a game at that point, ask anyone who played it. Being blatantly unfinished doesn’t matter, it would have remained a game even if he never ended any of those features.
Here is a good approach between using microservices or a monolith: create your product as a series of libraries that can be used to built either a microservices-based product or a monolith product.

In this way, you can turn a monolith to microservices very easily, since the core of your code will be there already.
All fair points. (Although I'm not a fan of the climbing analogy, the joy of programming is that you can practice anything you want without risk of real harm, and I think that's what makes unicorn-like programmers: they've repeatedly done the equivalent of free solo El Capitan practice in their spare time and lived to to tell the tail.)

I think it's help to consider excellence in the context of principals and practice. Everyone should be aiming for excellent principals for their domain and environment. But the practice that implements the principals needs to be specific to the capabilities.

E.g. I think in principal, any company with any tech should have backups, and ideally the ability to rebuild after a disaster. If you have a team of unicorn engineers ("company A"), the principals might be put into practice by meticulously tight and efficient SDLC and accompanying pipelines, tooling and other scripts and automations. If you have only one very competent engineer ("company B"), but a huge bunch of traditional ops people, that principal might have to be put into practice with a more manual, basic process (Bob from accounting once a week makes a copy of the important spreadsheets on a CD and stores it in a fireproof safe at home.)

Both businesses can deliver excellent and reliable service for their customers because they implement excellent principals in a way that their employees can deal with.

Swap company A and company B's practice, and even though it's for the same excellent principal, everything falls apart. I think we're in agreement here.

It's an uncomfortable truth that - on average - 50% of environments are company B. There's a problem that 90% of companies want their practices to look like company A. Nobody wants to feel mediocre.
My point is that it was still a game before having those feature.
Every day I have to use Jira and GitHub instead of Phab is a rather painful day. Sadly those days are increasing.

Maybe one day I'll be able to use Gerrit (it sounds great), and then I can be only annoyed at Jira.
Bun has builtin FileSystemRouter which can resolve routes against a pages directory, in Next.js-style:

https://bun.sh/docs/api/file-system-router

It also has builtin JSX and TSX compiler: https://bun.sh/docs/runtime/jsx

So I argue Bun can be even simpler. And the tooling is so fast it feels like it didn't execute properly sometimes.

I'm exploring Bun + htmx.
Except this agreement was 30 years old and hasn't been effect for over a decade. Even if you think doing everything else right, how do you know some EU court next year won't find that something you did decades ago where you asked the local regulators for approval and they gave it won't be found to be illegal.

If you think Apple and Google are the only two "shady companies" who work with the governments of the countries they operate in to optimize their taxes, I'm not sure what to tell you.
A short guide to the copyright wars
Some months ago i took a look at goravel myself. I work with laravel @ my dayjob but in private mostly just code golang so it was an interresting thing to check out. I than decided to write a small blogpost about building a small REST api using goravel. If your interested in the perspective of a php/go developer experienced in laravel checking it out you may check my post

https://blog.laughingman.dev/article/Building_a_simple_demo_...
GEN AI Consumer Apps
My ISP speed is 50 mb/s, not my Wi-FI speed (that can be larger). And thank you, I'm waiting to get Fiber soon :)
Within the code you'd have `return this.user.firstName + ' ' + this.user.lastName;` or similar, which can explain the details of how it works when you look into it.
Such a small world. I heard his Canto for Benjamin Britten on the radio the other day by chance. I occasionally listen to classical music, but am honestly not much of a music person and don't play an instrument.

That masterpiece was so emotionally moving that I was in near tears. I then spent an hour trying to figure out what song it was and eventually succeeded. I could almost hear the "ACHIEVEMENT UNLOCKED" for the entire human race.
Cryptonomicon, in case people were wondering. The part where Lawrence figures out computation while listening to an organ performance is (to me) one of the best bits of Stephenson's entire written output.

[Edit] hprotagonist. Very apt.
Tried the demo and as people report it's very well done and fast! Good job!

Just wanted to let you know that I stumbled upon a bug whilst removing products from the cart (setting quantity to 0) it started refreshing and the interface stoped responding. Maybe this wasn't due to the action but rather to the current traffic? Anyway just a head's up.
A JSON implementation that rejects non-unique keys is a valid JSON implementation, so a valid YAML 1.2 implementation is still a valid JSON implementation.
> Our industry needs to finish what it starts.

"Our industry" is a pile of snakes that abhor the idea of collaboration on common technologies they don't get to extract rents from. ofc things are they way they are.
The wrench analogy doesn't work because when downloading a copy of the software, you don't make the original vanish. A copy costs nothing. There are also costs associated to software maintenance that don't apply to the wrench. Software has its own characteristics.

But I think I get the essence of your remark, and that would be that work needs to be paid. I mostly agree (I agree "enough" to carry on anyway), more on that later.

> Unfortunately most business models around free software are ads and user profiling. Rest is just noise.

That's unfortunate but not an inevitability. You don't need to rely on ads for revenue. It's not because many businesses decided that it's okay to spy on their users and steal their time and attention that you are forced to do the same.

The projects I mentioned don't make money through ads. Other big projects are like that as well. WordPress and Nextcloud for instance both have different business models that don't rely on ads. I work for XWiki SAS, we also don't rely on ads. There are ways. You can even sell "licenses" for open source software. We do that (and it's not open core), although I think you complained more about the gratis aspect than the open source aspect. We also make money with consulting, support and hosting.

> don't pretend that REST client is charity or fight for freedom or something

I don't see what you mean. If I'm to rely on some tool, I want to be able to control it and proprietary software doesn't allow me this. So I won't use a rest client if it's proprietary. And I wish this also for my users.
Andreas Paabo described ocean-crossing skin boat culture already some 30 years ago. http://www.paabo.ca/uirala/ui-ra-la.html
> Don't try to solve speculative future problems. But if you are pretty sure you're going to need something in the future, you should probably take it into consideration in your design.

This is the real balance being struck. YAGNI is a pushback against the "you never know, one day we might want to expand this thing. I can't think of why right now, but let's make sure it's easy to do when if it happens!"

That's very different from the case of "There's a use case that we plan on getting to in 3 weeks. Why don't we save ourselves some future work and do this now"
Can't you use WSL?
> Do you really believe Apple-Ireland is the only cosy tax-based incentive that any EU member state has offered to any international company

Cases are prosecuted if someone (either competitors or the Commission) thinks they're worth the trouble. Apple and Google were clearly worth it, simply because of the massive amounts of money involved - nobody cares if an ice-cream stall is foregone 100 euros. If you know of other worthy cases, feel free to take them up with the courts.

You're mischaracterizing the issue, by the way. The problem is the way one specific company was treated, which was not in line with the practices the Irish had cleared with the EU. Other companies were not treated like that and were just fine.

> retrospectively get reset to some baseline rate around the bloc's average and every company that ever paid VAT at lower rates in those member states gets a bill

That would be an extremely popular measure, politically, but there is currently no indication that the Commission or the ECJ will ever ask for that, and it has nothing to do with this judgement.
I agree that DNSSEC is not the answer and has not lived up to expectations whatsoever, but what else is there to verify ownership of a domain? Email- broken. WHOIS- broken.

Let's convince all registrars to implement a new standard? ouch.
In the UK and EU it would be outright illegal on GDPR grounds (unless you consented to it, which would be unlikely without coercion — also illegal)
What about latency, disconnects, internal traffic, ... different types of construction materials?

Traffic to the internet is not everything. What about self hosting, sharing files between devices, or simply pushing documents to the printer...?

I have a small flat, but it has an L shape, reinforced concrete on many walls, an elevator right next to one of them, and so on. With typical setup here ("router next to tv") I would have no WiFi signal in one room at all. Regardless if it's 2.4/5/6. And it's just "a few meters". So two AP's with low signal strength are infinitely better.
One of the possible names for Gen Z that was thrown around about a decade ago was "iGen", a reference to the iPhone and noticing there was a cultural shift in those that came of age on/after 2008.
Prostgles Desktop: Open-source, Cross-platform database tool for PostgreSQL
Posts irregularly, but I've found https://mathwithbaddrawings.com to be good.*

There's also https://phys.org, which aggregates content on lots of things, including physics.

https://www.symmetrymagazine.org/ looks relevant, but I don't read it that much (not because it's boring but just because I don't find particle physics interesting)

*Tracker warning: https://themarkup.org/blacklight found 92 ad trackers and 274 third-party cookies if you were on a desktop in someplace like Ohio with poor privacy laws.
Alright, sorry to make it sound like that. Either way, it adds overhead (local or Google) but CDN-loaded ones cause more issues. Google Fonts is the web's standard for non-system fonts and indeed it adds CSS, JS, additional requests, and the font itself, including wait times due to download and load. SEO is a competitive environment, even a single request, and ms counts. Small blogs might not care but if your website gets traffic, those little millisecond differences rank your posts differently.

Our pages are around 80kb in total (yes you are reading correctly, not 800kb but 80kb including images of the blog posts, including the WebP images, javascript, CSS, and the HTML file itself. Imagine doubling or quadrupling it just for a font. That would be insanity. 100kb font size is absurd if you want your mobile speed (#1 SEO factor today) to be better.

Core Web Vitals scores us 100% for everything. This drops to 80%~ when we use external fonts. We tried 100s of different metrics. The font is a major factor (again, doesn't matter local or Google). Added overhead is going to sink your ranks like a rock.

For anyone reading this, do not use Google fonts if you want your SEO to be better.
IKEA Introduces Matter Support for the Dirigera Hub
I disagree with this. Comments are important but not every time you're in that part of the code. You might already know from just the code what's going on, or have already checked out the comments. There's no value to them always being emphasized. That would be like reading all NPC dialogs every time in an RPG.
They're not subsidising Apple.

Apple is providing thousands of jobs - they pay taxes on those people, and those people pay income tax / VAT / fuel tax / death tax / etc and they consume from other companies that pay lots of taxes as well, and import tariffs as well. It's taxes and tariffs all the way down.

No one is paying Apple money. It's not a subsidy.
> and follows the venerable stringly typed error idiom.

Not exactly. It assumes that all error conditions within the functions provided by netip are of the same nature as it pertains to a single unit of work. In other words, there is only one type (not referring to the language's type system). Error type reuse where different failure points produce the same type of error does not violate current idioms. I cannot immediately think of any reason for why their assumption is wrong, so unless you have other ideas?

That is not the same situation as the deferred close wrapper, though. It is assuming that closing multiple file handles is the same operation, but clearly that's not true. If you were, say, writing a copy function the error handling of the read handle failure is unlikely to be the same as the handling of the write handle failure. The former doesn't tell you much, the latter is quite actionable. The failure points are distinct, and thus of different types (again, not referring to the type system).

The author's answer was basically that he is the only caller so if that problem arises in his code he'll simply modify the function to return idiomatic types. Which is fair for the lone wolf developer. When working alone anything goes! But it is not good API design generally speaking. It certainly wouldn't fly in something like the standard library or anywhere you have other developers.
Hi, I'm Srushtika, PM at Ably. I'm investigating how Ably might be able to help here with some of our existing and upcoming products. Would love to understand how folks have been using DeviceSync so far. Please feel free to reach out: https://www.linkedin.com/in/srushtika/
I made free site for AI quizzes based on your notes–just like scrolling TikTok
I find myself following only two or three different patterns in comments:

There's often a fairly small kernel of very dense code that abstracts away a bunch of complexity. That code tends to have well north of a 1:1 comment to code ratio, discussing invariants, expectations, which corner cases need special handling and which ones are solved through the overall structure, etc.

Then there's a bunch of code that build on that kernel, that is as close to purely declarative as possible, and aims for that "self-documenting code that requires no comments" ideal.

Finally, there's the business logic-y code that just can't be meaningfully abstracted and is sometimes non-obvious. Comments here are much more erratic and often point at JIRA tickets, or other such things.
Serendipitously, in this other thread sebstefan just mentioned that in PHP, also,

md5('240610708') == md5('QNKCDZO')

because PHP, also, treats "0e1234" and "0e4567" as numerically equal when you use the weaker-typed '==' instead of the stronger-typed '==='.

https://news.ycombinator.com/item?id=41510252#41510814

https://stackoverflow.com/questions/22140204/why-md524061070...
Big Datatype: why code tools like to be written with fancy types
> Hint : Listing the assumptions doesn't work

Why not?

I could see that it might not if you are not clear about your assumptions
I like how it generates a conversation, rather than just "reading out" or simplifying the content. You can extend this idea to enhance the dynamics of agent interactions
Planned by whom?
Likely referring to Star Trek Discovery series.
I just installed it on Chrome, and it hasn't worked on a single site, but upvoting as I love the idea as horrible as the whole consent banner thing is :(

For example bing.com, britishairways.com all show their consent popup. It does try and do that minimize thing, as something flashes to the bottom right. But the model still appears in the same place as always.
Neither of the example applications work offline (Linear, Pitch, SuperHuman), so neither are actually local-first?

Seems even the article admits this for at least one of the examples:

> While not strictly local-first

So what is the point of the article, to push those products?
"He who seeks finds." - old proverb.
GenAIPot v0.6.5 Release