skysight-inc/HackerNews huggingface dataset:
really appreciate this post.

1) i did a quick skim of the predicate transformer wp page, looking at weakest preconditions and taking a short detour onto the definiton of hoare triples. i _think_ it is about minimal pre-statement (statement being the active code in question) assertions and maximal post-statement assertions and using that as a basis to define your program/algorithms. this leads to strong conclusions about the correctness of your code. i would say this is a great and perhaps necessary goal for important systems. i try to do it at a slightly higher and less rigorous level with automated tests, but the desire is the same, and if i really wanted correct code, i would probably do just this sort of thing.

2) i've been programming for a while. about a year and a half ago i noticed that i was falling into this bad habit that i had worked hard to get out of many years ago where i would just take a stab in the dark, tweak some code, and run my program over and over until the output was correct. :feelsbadman: since that time, i have made an effort to develop a habit of thinking much more before running my code, and it is showing results. often i can write code for hours, once recently i even did so for days, and not execute it, reasoning as much as possible about execution and state along the way, and when i finally run it, there are bugs but they are usually quite shallow and i can fix them quickly and then bam! it just works. sometimes i pause in this and for the satisfaction of running my new code i will write automated tests that check the correctness of some of the functionality. and i have paused at times and written in my notebook, explaining to myself what the problem is that i am trying to solve, why my current solutions have failed, and reasoning about what a good and working solution might look like, and designing it before opening the IDE. that works wonders too. i would say again - i'm not quite as rigorous as he was, but the method has helped me write better code.

3) yes, i have done this before, and i try to emulate the idea in my (high level) code. but i'm definitely not at that rigorous level :)

and thank you for the reminder to avoid wasting time.

Neil Gaiman has a speech called "Make Good Art" and i read the transcript (he has made a short book out of it) and watched a video of him actually delivering the speech at a graduation ceremony yesterday. i will conclude with a quote from that speech.

> There was a day when I looked up and realized that I had become someone who professionally replied to email, and who wrote as a hobby. I started answering fewer emails, and was relieved to find I was writing much more.
My thoughts:

* Some new kind of wholesome work that gives anybody with a mobile phone a source of income, enough to pay for shelter and food.

* Invent a way that an organisation's operations that cannot fail because the operations are desired by people and it is not dependent on funding or property.

* Abstract the problem of costs so that we can indeed have good things and they are sustainable and kept alive.

* Heal the world wide web.
Given that a large portion of this spend is currently covered by expiring (in less-than-a-year) one-time credits, it's really not representative of what it claims to be and is therefore quite disingenuous & misleading.
This is probably close to the correct answer. The “real big” problems are also things you have little influence on - but your own like you have major influence on. And you can’t easily change others, but you can work on yourself. (It won’t be easy.)
Ask HN: What website you couldn’t do your job without, and useful to the layman
I don't expect it to happen in 2023, but I expect we'll see some rumblings in the more techie side of the web. The beginnings of an early platform, or something to that effect.
The internet seems to be a really good tool for sliding some people into ideologies of hate.

If you could avoid or correct that course, like at an architectural and protocol level that'd fix a big problem of the internet.

I'd only accept that it's not possible if someone could somehow demonstrate a logical proof (such as, presume a system existed, then prove by contradiction that it's not possible, etc). That would be an achievement in itself.
I have the feeling that we are looking at climate change wrong.

All the discussion is about reducing CO2 emissions. But we have nothing to show for it. Even the during the Covid lockdowns, CO2 emissions were reduced by only 10%:

https://ourworldindata.org/co2-emissions

CO2 stays in the atmosphere for hundreds of years. That means even if we permanently take the extreme measures of the Covid lockdowns, global warming would be in 11 years were it would be in 10 years if we did nothing.

Yes, we should continue to push towards reducing CO2 emissions. A carbon tax would probably be the most effective way to achieve that.

But that will only give us more time to prepare for the inevitable: Living on a planet with higher temperatures and all kinds of problems that arise from it. It will happen.

What technologies can we develop to cope with it?
At 250 miles of track, it covers a much greater area than any other European (sans Russia) capital. The second largest is Madrid at 180 miles, and Paris is 140 miles.
Scaling worker cooperatives. Giving tools/automation that makes it viable.

Building HR-alternative software for workers to organize with and provide for themselves the things that HR denies them (pay transparency, mutual aid, feedback accountability, worker rights training, etc)
Affordable electric vehicles
Of course it is :(
Ask HN: What's the coolest physical thing you've made?
Could be a painting, or a boat. I'm interested in what HN'ers are building that isn't software-related.
Portkey launches LLM analytics suite for AI builders
been using vim for 10 years, I didn't know this, and it's on the frontpage of HN, that would make it worthy, IMO
Ah, my mistake. A 1999 discovery while plausible seems like a long time ago. I wander if it really is exactly the compound as they found back then.
Even if you could solve the hardest problem, you still need to eat while working on it. This means that one of the most important problems to solve is more efficient basics. 500 years ago 95% of the world males were farmers (maybe enslaved, but still farmer). Women had to spend 10 hours per day making clothing. (Historians can give better numbers and details of the sex difference, but for this discussion the above is close enough despite missing many details)

Making the basics more efficient is always helpful. Though this is hard as a lot of smart people are already on the job.
I’m in a different city in California now, working for the same company I used to in the Bay Area. The office is empty at 6 pm here. In the Bay Area most people stayed till at least 7 pm, some till 9 pm regularly.

While I agree that this tendency to overwork and expecting others to do the same is a part of the American work culture, in the Bay Area it seems to be cranked up to 11.
I much prefer a world where you get Apple to replace your battery after 5-10 years for cheap than one where Joe Schmoe is using a $5 dollar battery from Alibaba which forces a plane emergency landing when it catches on fire.
https://sports.yahoo.com/nyc-restaurant-named-thai-food-2027...
Apologies for the USA centric views:

Tackling climate change mitigation and remediation.

Getting more people off social media.

Protecting libraries.

Making the police more professional. Raising the bar for police candidates. Stopping the racism and fascism embedded in some police department cultures.

Overhauling the US political system to work for the people rather than the rich.

Protecting the rights of women, including bodily autonomy.

Protecting the rights of queer people.

Protecting the rights of non white people.

Reducing plastics use.

Planting more trees.

Improving housing construction standards.

Giving everyone a permanent place to live.

Decoupling healthcare from employment.

Universal healthcare.

Increasing the number of doctors and nurses.

4 day working week.

Forcing healthcare professionals to work normal number of hours.

Teaching good parenting at school. And various other life skills.

Improving teacher conditions.

Preventing fascism from continuing to rise in America.
Solving the trust and bad actor problems on the internet, without turning the internet into a set of restrictive walled gardens.

Personally I think it's partly solvable with a combination of cryptographically signed HTML elements and a web of trust similar to Raph Levien's https://en.m.wikipedia.org/wiki/Advogato or https://keybase.io/

But it's going to be a big piece of work.
Would be great to add the missing sources. But otherwise, what's the message or idea behind this?
Those are not actually magnet links, they are sharing it on one of these file sharing services ala rapidshare/megaupload of old days
I really ought to read that. The author was a livejournal friend at the time. (Later work: http://fpgacpu.ca/)
https://github.com/anyproto/anytype-ts/blob/main/LICENSE.md

this appears to be source available not open source
Not exactly the same thing, but I had good experience with KasmVNC.

Despite having VNC in its name, it isn't fully compliant with the VNC protocol and doesn't support regular VNC clients. Instead, it exposes a web client that you can access to connect to the machine. It also felt surprisingly snappy and nice to use compared to my previous experiences with regular VNC.

https://github.com/kasmtech/KasmVNC
I seem to recall being able to use an add on utility to get access to the higher scancodes - mainly to prevent some from being “the same key”.
It shouldn’t be on either of those teams.
I did some work for online journals where papers got published even IF the peer review was bad and rejections were exceptionally rare.

The review score of the abstract was only used to decide on the best topics to invite for a presentation or talk - and the review score of the paper was used to hand out awards, decide "highlighted" papers, and it also influenced how high up in the search results a given paper might appear.
Show HN: Helping technical founders with branding and content
I am about to launch a solo project and this tool has been very helpful for branding and content. Thought I'd share since like most of us on HN, I enjoy writing code a lot more than marketing.
Yes, the legislation calls out links and excerpts both.
There is no space, unless you left a vacuum, and sealed the container under this vacuum. And even then, the liquid will evaporate to fill the empty space with gas, up to some pressure (that depends on the composition of the liquid and temperature).

That said, if there are thus more than one phase in this container, what happens is dictated by Archimedes. When one phase is less dense than the other, then it will be sujected to a force equivalent to the "weight" or acceleration of its volume filled by the more dense phase. That, plus the surface tension of the interphase surface will dictate how bubbly the phases will change position during your shaking acceleration. This can lead to the creation of lots of small bubbles, up to mixing an "emulsion" with the right surface tension.
Still preferable over how most SPAs are written these days, especially when looking at overhead.
This is incredible work.

To anyone curious, I highly recommend:

- https://hitchdev.com/hitchstory/approach/

- https://hitchdev.com/hitchstory/why-not/

From the overall RDD/BDD type home page:

- https://hitchdev.com/hitchstory/

The entire product site is a thing of richly informative beauty.

---

My only question was whether the generated 'docs' snippets would add value over just reading the story in your DASL. Any markdown site generator (such as the chosen Material for MKDocs) can just embed the ```yaml anyway. But then I realized what was generating e.g. …

- https://hitchdev.com/hitchstory/using/engine/rewrite-story/

… and how superior that is to typical docs, especially typical docstring or swagger factories.
It could certainly be redesigned to have explicit lazy collections/operations and use transducers as the composition glue. It would be a breaking change, so it's never going to happen in Clojure. But if somebody plans to design a language inspired by Clojure, they should certainly take this hint.
Postmortem analysis of DNS outage as a result of questionable registrar behavior
>But despite this, are you seriously claiming that sum types "do nothing" to achieve this null safety?

No. I said nothing about null safety. What I said is that “sum types by themselves do nothing to force handling of errors”. In fact I imagine that’s one of the reasons that Haskell uses exceptions for error handling in the IO monad. If Haskell had a non-raising function like

openFile :: FilePath -> IOMode -> IO (Either IOError Handle)

then you could of course attempt to open a file without checking for an error:

main :: IO ()
main = do
openFile “/foo/bar” ReadMode
putStrLn “Did the file open successfully? No idea”

Sum types (by themselves) cannot be used to prove that all errors have been handled. In fact, formal proofs of this property using other type system features (such as linear types) are of fairly limited practical value, given that merely 'using' an error value in some type-theoretic sense doesn't necessarily entail actually taking appropriate action to handle it.
Brave + PiHole + uBlock Origin = no video ad, no top banner ad

Firefox + PiHole + no extensions = dumbass video, blank top banner ad (all the space is taken up but no content)
“Have you tried turning it off and on again?” Doesn’t have quite the same applicability. I imagine quite a lot of medical issues could be solved if reboots were simpler.
The American medical association and its regulatory capture.
:h jumplist
:h jump-motions

"gi" is also useful.
Wise person once said: "Trust is the necessary precondition for betrayal."

Big organizations like Microsoft cannot be more secure than one individual's systems; someone runs their servers and they wear pants and make mistakes, just like we do.

What the big shop can do is cover up their mistakes and confuse responsibility once they're made. As well as providing an easy one stop shop for bad actors with things like GitHub ("subvert the world's infrastructure all at once!").
Other news sources will be removed too. The legislation specifies news available to Canadians rather than Canadian news.
This site is external content oriented, not 'intimately know the commenter and their life' oriented.
Fantastic list. A lot of each are places anyone can start helping with too.
My own anecdotal experience on reddit and HN is that much of the heavy lifting can be done by just a few people "guarding new." This is a good thing sometimes, efficiency is nice, but it can also be manipulated.

There seem to be some keywords that trigger a pre-organized group to descend upon a post in New and downvote/report/flag it into oblivion.

There was a piece documenting how easily, and cheaply, it is to manipulate reddit a few years ago. I can't seem to find it now.

I would like to add that sometimes my posts get flagged, such as a recent one complaining of poor writing, and that's fair enough.

meta: hilariously, this piece was flagged while I was writing this comment, so I vouched for it.

If someone could give some reasons why TFA is not interesting and deserves flagging, I would love to hear them.
Gravitational waves are confirmed by watching of distant quasars:

https://scitechdaily.com/gravitational-waves-detected-using-...

Hydrodynamic quantum analogs can be uses to study quantum particles at macro-scale:

https://en.wikipedia.org/wiki/Hydrodynamic_quantum_analogs

ESA Euclid near-infrared telescope launched few weeks ago:

https://www.esa.int/Science_Exploration/Space_Science/Euclid...
Honestly, escrow is usually just one small part of the puzzle compared to the many SaaS/hosting services chained together to make the thing work. I’m sure most iOT startups that fail are no different.
This is of a magnitude that finding the funding to get one of the original researchers to be custodian of a sample while they tour to some well respect other lab whose researchers then do the verification is well within the realm of the possible. That way you can have verification without losing control over where the samples end up, you could take it back when they're done with it.
Because they don't want to be scooped, essentially. They want the first accepted, peer reviewed, published paper in a high profile journal about RTAPS to be their paper. I have a lot of issues with literal currency being involved in academia, industry domination and patenting and the like, but the real currency of academia is reputation. I'm not going to begrudge them that.
If the liquid didn't move, it would kind of magically find itself OUTSIDE of the container. So yes, when you shake a container (move it with strong if short accelerations), the liquid inside will too move accordingly, being subject of the acceleration provided by the container (thru compression waves).
Roman aqueduct maintenance in the water supply system of Divona, France
But Paris has those modern, wide boulevards that are far more walkable, for strolling Parisians, and marching armies alike.
London is great iff you have comfort at home, i.e. if you live in a good place where you actually rest. If you live in a shoebox it's miserable
Clojure authors are quite conservative about adding such opinionated instruments into the language, especially when they come from outside. But fortunately, being a Lisp allows Clojure to add such language modifications with libraries without forcing those modifications upon every user of the language.
The Santa Fe Time Series Prediction and Analysis Competition
Under investment in the otherd if anything.
CO2 absorption is the new technology that is more promising than reducing CO2 emissions. Imagine, you could buy a device that can absorb CO2 from the atmosphere and which can subsequently be either converted to a form that is more eco friendly or could be stored in a way that doesn't contribute to global warming, governments and people would invest in that.
Did he use missiles, drop bombs or strafed with the machinegun? I'm mistified.
I graduated with an electrical engineering degree and have been doing embedded microcontroller code throughout most of my career, and have basically never learned algorithms. I decided to take some time and study specifically for interviews - but I found that learning the algorithms has made me a better software developer in subtle ways.

I believe it is important for engineers to know "one level down", and it is good to know what the various data structures are used for so I can use the correct one when needed, such as set vs list vs deque, etc
<surprised_pikachu.jpg>
In 2015 the UN created 17 ‘Global Goals’ (https://www.globalgoals.org/) that are meant to be a "shared blueprint for peace and prosperity for people and the planet, now and into the future":

Goal 1: No poverty

Goal 2: Zero hunger (No hunger)

Goal 3: Good health and well-being

Goal 4: Quality education

Goal 5: Gender equality

Goal 6: Clean water and sanitation

Goal 7: Affordable and clean energy

Goal 8: Decent work and economic growth

Goal 9: Industry, Innovation and Infrastructure

Goal 10: Reduced inequality

Goal 11: Sustainable cities and communities

Goal 12: Responsible consumption and production

Goal 13: Climate action

Goal 14: Life below water

Goal 15: Life on land

Goal 16: Peace, justice and strong institutions

Goal 17: Partnership for the goals

Each one is broken down into subtasks and targets. Making a dent in any of them would be worthwhile - https://en.wikipedia.org/wiki/List_of_Sustainable_Developmen...
The smartest people obsessing over LLMs and LK-99 is exactly what I want, personally. They're potentially truly revolutionary things.
job-wise London is very good at pretty much any standard. Aside from the US, there's no other place that tops it
You're not always looking at a map at all times though. If I verbally tell a friend "Let's meet up for lunch at Westville Chelsea", they can then unambiguously locate the exact one later on on their own.

Also, lots of people (especially visitors!) don't know where the neighborhoods actually are. So having the names of the locations in the pins is better than them struggling to figure out exactly which of a series of identically named pins is actually the right one in an area they don't know about.
Local government SaaS.

There's so much business processing in local government whose cost could be cut by an order of magnitude if extracted into external software. In an inflationary world with stretched budgets, this could add much needed resources to public services.

For example, instead of each police force building their own video reporting system they could share an external one. Similar for booking GP appointments, managing jury duty, applying for council tax discounts and managing parking permits.

People might critique this comment by referring to SaaS solutions which already solve these problems. However, none of these are adopted at scale.

The biggest barrier to widespread adoption lies in the sales process. Marketing to governments is hard and the challenge of effectively addressing privacy/ethics/sovereignty concerns is bigger than with most private sector actors.
I've never come across this in London, but only been living here for about 15 years total.
That's pretty much how all privately funded novel drug research works.
I’ve gotten mine running with FastChat - they have a Metal/MPS option.

Sadly 7b is not very good for SQL tasks. I think even with RAG it would struggle.
Making child care affordable.
It's a very good idea. With as much visualisation and ELI5 (sic) explanation included as possible!

Child has no way to communicate that it reached it's understanding capacity do why you would you assume it's capacity for it?
With sentient robots?
Paper from Fallen Leaves
universal access to internet, universal access to hover powered transportation devices.
https://archive.is/3JtAG

Musk Implies Billionaire Cage Fight With Zuckerberg Is Still On, But He May Need Surgery Before That
Every branch of a hotel chain should have a unique name, at least per city. Way too many mistakes get made otherwise.
Show HN: iOS app – Random thoughts to clean text
Is there an outlet for kinda mindless shitposting that isn't reddit or chanish? Because my M.O. is basically the aforementioned when I post here, and I really don't know of any alternatives. If you have any, advertise them because I don't think I am alone in wanting a space for semi-mindless shitposting. Outside of creating my own instance (eh, maybe), I don't know what to do.
Your ego should slightly overshoot your ability.
Carbon capture is a scam.
need to pay $$ for static IP address
Check your spelling and grammar in Google Docs
Also usable in less(1), for those who don’t usually run vim/vi, but often run less(1).
-t 32

Use a maximum of the number of physical cores and then scale down.
That’s a political not a technical problem.
They're actually paying for access to the AP and other sources now.
Sounds like a tree.
> Why can't Canadians open their browsers and type in www.news-site.com if they want news?

Because they're really on instagram/TikTok and follow @mediaCorporation. They see their news between vacation pics and belly dances
Blud did NOT even read the article
It's been like that for a frustratingly long time. I've tried Open Street Map, but it doesn't quite cut the mustard (skittles). I think I'm going to have to try again, OSM fits my ideology better.
Not directly related but last time I was this creeped out is when a antivirus company wanted to sell us crazy amount of data on our customers.

Apparently AV companies lose money on the customer endpoint protection (it’s basically for free!) but make it up on selling users data. Also on the business licenses though
Telecom companies in the UK (and possibly the rest of Europe) must opt you in.