skysight-inc/HackerNews huggingface dataset:
Yes because the existence of a basis for arbitrary vector spaces is equivalent to the axiom of choice.
Plenty of people who love meat go to vegan restaurants, because they serve good food but without meat in the dishes. I have a bunch of language features I like but still use and enjoy languages that don’t have them because they’re still good at other things.

Go is kind of like a vegan restaurant that offers you iceberg lettuce and cherry tomatoes as the main course. It’s just not very good.
If only the torygraph could put the sackcloth and ashes down long enough to use data to contrast the same metrics under tory and labour.
Probably due to him making a fortune by exploiting and underpaying his employees. His workers are reduced to pissing into bottles to save time whilst Bezos is mucking around flying in space.
This was very helpful, thanks!

It's often the very domain-specific language that hides (at least on the surface) rather simple concepts. I do appreciate how confusing software engineering terminology must seem to outsiders... zombies, chicken bits, duck typing, core affinity, etc.
Well said!!

I’m waiting for reading studies on AI generated text, that’s a different kind of speed read
You comment on my comment and I reply. Why is that curious?
> AI is just a tool that big tech uses to tip the balance of society and take more than their fair share of wealth.

Additionally, like it or not there will also be permanent job destruction / replacement with many naïve AI supporters suggesting utopian nonsense such as "UBI" for everyone (it has never worked nor was it economically sustainable).

Let's call it for what it really is: tools such as ChatGPT (OpenAI), Devin (Cognition), Computer Use (Anthropic) and Fin (Intercom) are here to eliminate jobs. The worst part is that there is almost no alternative for those lost jobs and they are not hiding that fact.

If having less jobs is so great and "benefits humanity", then why are there more folks here and across the world worried about their future job prospects?

First ChatGPT came for journalists and we said "Learn to code".

Then Gen-AI image generators came for digital artists and we said "Learn to code".

Then music generators came for musicians and voice actors and we said "Learn to code".

Then Copilot and Devin came for senior software engineers and AI engineers are now telling everyone:

Learn to cope, this is for "humanity"
I've heard something similar from the legal field as well. When you're dealing with massive amounts of unstructured documentation that needs to be searched LLMs seem to be doing a better job of indexing that information than conventional search indexers. I agree that it is having a pretty big impact in those fields where large amounts of unstructured data needs to be combed through.
I tried to use HTMX to fix some of the plumbing in our bathroom and I’m very disappointed … it just isn’t fit for purpose. I’m sticking with React
Does this mean AI can pre-train on binaries?
Regardless, your point is valid. Adding a valueless word like “quite” does not improve clarity or meaning and can only have a negative impact. Not worth the risk.
Let's start with keeping the whistleblowers alive and we have more time to figure out the cause and effect later.
You can just have git submodules for that.
You could start with a plain glass sphere, then soak it in the same molten salts they use to make Gorilla glass, for a day.
I learned programming over 40 years ago, mainly from reading books and experimenting, and reading a lot of code. Studying code until you understand it takes time but rewards the effort.

Jumping in and hacking until you get something to work only goes so far. Without some fundamental knowledge, whether from books or school, you can only get so far.

Agree that you have to start writing code to build up skills. You can’t learn just from reading.
I’ll happily pint anyone who works at McKinsey with the same brush.

I don’t care what your values are - if you work for McKinsey you are a piece of shit simple as
I am used to their articles being sterile and formal, this reads like some teenager spilling their tea on social media.
> Silicon Valley CEO’s and elite are deathly scared of OpenAI

Got to give Altman credit, he’s even branded himself as standing against Silicon Valley!
Asynchronous Rust on Cortex-M Microcontrollers (2023)
Yes, but value types are only basic types. Structured types only have reference semantics and are nil by default.
Kill two birds with one stone:

1) Add functionality to auto-setup digital meetups and invite people within 200mi or something.
2) Let people meet in groups digitally, and maybe that spurs them to meet in person.
Thats fair! I just don't agree with the readable part and thinking. I personally get tired having to look at all the archaic boilerplate to find the actual logic that I want to reason about.
This is fine. Let's burn it all down. Driving might become a whole lot more interesting.
And I bet, for many, when the dust settles, the McKinsey name will still be held in relative high regard, and the opioid affected victims, on the streets, in poverty, will be blamed for ... not pulling themselves together, or as being a drag on society.
Pudd'nhead Wilson – Anti-Racist Fail
MicroStrategy joining is a farce, they are a middling software company strapped to the size of some weird financial engineering.

Borrow money to buy bitcoin, reducing the supply of bitcoin so the price increases allowing you borrow more money, just deranged.
Here's the actual report: https://futureoflife.org/wp-content/uploads/2024/12/AI-Safet...

It's very extensive, and looks at things from a lot of angles. Both sensible angles and... more hollywood-inspired.

They cover everything from jailbreaking, fine-tuning and respecting robots.txt, through board governance structures and SOC2 compliance, all the way to superintelligence and nuclear-weapon-related "model misuse".

I assume the authors of the report set themselves the goal of having at least some info on every possible "but what about" question, no matter how uninformed.
hi, yes we offer different tools to streamline the web development process, such as:

- Veryfront Studio, an online coding platform with live previews, instant deployment, and code exports.
- Veryfront Components: Ready-made UI components for fast app building.
- Veryfront Templates: Starter templates to kick off your projects.
- Veryfront Figma Kit: A Figma library packed with components for quick prototyping

You can try everything for free for an unlimited time and upgrade to a paid plan when your app is ready to go live.
I am amazed that such things are possible. Here on France this is so illegal that it is laughable.

I am saying "laughable" because there are small things companies try to enforce, and say sorry afterwards. But telling you that you are stuck with this for life is comedy grade.
http://archive.today/WTDBs
When I scroll down, the "VALE" stuff goes above the menu, making both unreadable. Might want to fix that.
Given enough pressure it already exists!
They did the same to me for simply providing a fact sheet and further information after he asked OP for info. Figured it was best to just not engage with them after that.
Copilot and Devin never came for senior software engineers, you can't give that to a non-coder and expect it to do the work.

Due to the way we use code nowadays, I'm convinced we would probably replace the CEO itself before the devs anyways.
This is what was done with WikiLeaks - a few major European journals worked on the information together
These people talk like 20th century communists in a Vienna coffeehouse.
It's excellent hardware, I have many redundant copies and thus high availability, the system just works, I automatically take care of efficient implementation, and the generated executables have high probability to work on all newer Linux systems. And I'm too old to always chase for the new new version.
My first candidate would be roar sound. In any case 100 miles/ 160Km is an impressive distance.

Whales were reported communicating at a distance of 60 miles / 100Km at least and in theory sound could travel 100 miles easily in the water. Howling monkeys roars can be heard at 3 miles (4.8Km), and are seen as the loudest terrestrial mammals but low frequency sounds in Lion roars can be heard at 5 miles.

I would assume that either he was aware previously of the female territory (maybe both tigers were roaring near the frontiers of both territories while wandering); or that both tigers were attracted to the same place by an external factor (plenty of preys born in a place at a given time, or a water source).
Is there a specific name for the art and craft of presenting a topic online (as a web page) using a flow of text interspersed with interactive activities?

Whatever the name of this approach, quantamagazine is definitely good at it!
Could you please elaborate on exactly what you're experiencing? Include your browser/OS if possible. Thanks for letting me know!
Also note an implementation of Common Lisp condition system in Clojure that allows you to have CL-style condition handling: https://github.com/IGJoshua/farolero/
This would not be the year that they pick an assassin.

Anyway, mainstream media seemed settled on MAGA succession with the choice of Vance. These kinds of movements forbid doubt in their adherents. There’s cultural doubt about Elon and Vivek, but not JD Vance. With Trump deciding not to pay Rudy’s bill for representing him, Rudy showed doubt so he’s out.

I suspect Project 2025 will operationally subsume MAGA. Projects like Contract for America and the Tea Party try to attach the anger toward one issue onto their other culture war issues. Note that Gingrich and the PPP scammers of the Tea Party never intended to live up to traditional rectitude and morality. These are all messy political winners who need a way to hint who’s the in-group. They “get it” without having to actually say it.

The friction in succession will be that Vance is indirectly representing Thiel and directly representing P2025. As opposed to his former views on Trump as “America’s Hitler”, which probably won’t corrode the myth you’re talking about. Maybe 60% of GOP lawmakers have thought such things and Vance is a bridge to them.
This what Claude/Chat do when you ask them to make text more concise.

Have to say, Chat does produce what I am looking for in one go more often. Claude always makes lists or makes things way to concise. Maybe I need other prompts.
Finally a good article to read on my way home
I know it's a whole field of research and I'm not familiar with any of it, so I'm not saying this is a good reason, but what I understood from upthread (where the person mentioned you'd connect to Mullvad with your real IP address) is that they don't want either the ISP (or perhaps a tap) or someone subpoenaing Mullvad, to know that they're using Mullvad. By connecting via Tor, they don't know what you're connecting to, and if they go through the trouble of attacking Tor for you, they'll still land at Mullvad and they probably have to get a warrant for them to start keeping logs on all Tor users until they eventually can tie activities to an ISP subscriber

So I can see the reasoning, though anyone who considers this: I've heard years ago that they're not sure whether VPN-in-Tor or vice versa improves or degrades the anonymity, there are apparently reasons for either way, please read up on it before you feel safe using whatever solution in a regime without freedom of speech or something
[dupe] https://news.ycombinator.com/item?id=42413677
Datasaurus dozen – Different datasets with the same descriptive statistics
Someone needs to collect the data on UV's rise to popularity and do a sociological study, because from where I sit[0], UV just suddenly came out of nowhere, and despite being confusingly named[1] and backed by a for-profit company, has already captured the hearts and minds of Python developers. Between this and other tooling from that same company, it feels to me that, in the space of less than a year, Python has turned from a community language into a company-led one (like. e.g. Scala).

Not saying whether it's good or bad - just that it's damn curious how this played out. It feels like Python leadership got taken over by some company almost overnight; I'd love to understand how did this happen.

--

[0] - Arguably an outsider to Python community, but like everyone else, downstream of it, and always affected by it, ever since Python became the de-facto standard in Linux as the language between C and Bash.

[1] - Anyone remembers libuv? Spearheading the whole async/await paradigm by powering it in Node.JS, it's one of the most known and talked about libraries ever.
My personal experience of moving to using Go, along with building a small team using the language, all of us basically Java Devs, was that it was perfectly fine to go from Java to Go.

Code structure and package management were slightly sticky but getting a decent starting point on development was pretty trivial. Build, test and deploy were easy. A lot of style questions got answered by go fmt, vet and eventually golangci-lint.

I recognise some of the discussions but in all honesty we just tried to be consistent in our choices. Similarly, I recognise the complaint about dead 3rd party libs but I've seen that plenty in Java too, just some of the big hitters in Java are incredibly well maintained - Spring, Hibernate etc but in 20 years of Java I've been stung plenty by unmaintained libs too.

Go for us was quick to get started and proficient and whilst it's certainly not perfect a lot of the comment in the article appear to be more to do with team discussions than language choices. I've certainly had similar discussions on teams about Java and how to approach things.

Anyway, no longer in that team and now in one who's main language is Python, happy to use any of Python, Java or Go and for more than just system programming but really most sorts of problem spaces.

Of the 3 Go would be my default as it just works for me and love the build/test speed and even like the explicit error handling.

Some things are just marmite.
I think (based on very shallow research) among FAANG behemoths Meta is the closest in terms of resources thrown at ML, but it’s an ad company that hasn’t got such a “we advance humanity” image. Equity vesting and that sort of stuff can additionally make moving companies a problematic prospect, even if the new place offered a competitive salary…
Not sure if its that simple. MicroStrategy is buying BTC since its ~10k, which sounds easy but actually requires some insane strength for actually holding it until today 100k+. They actually believed in the asset and got rewarded for it. Banks investing in Gold is pretty much the same.
[dupe] https://news.ycombinator.com/item?id=42403886
Great idea to allow prompt based design!
https://i.imgur.com/tfB0qsa.png

Does this help? This happens as I scroll down till it is over the menu.

I am using Vivaldi 5.7.2921.65 (Stable channel) stable (64-bit).
Payment should not be an option. If people can be executed for a single murder then assisting in starting an epidemic with 640000 casualties (and also serious side effects) should kill the company. Revoke business licenses, seize assets, use it for damage control.

"More than 645,000 people(opens new window) in the United States have died from overdoses involving opioids since the epidemic began"

https://www.fcc.gov/reports-research/maps/connect2health/foc...
i don’t think core.match has worked out in practice for many prod projects for subtle reasons, there’s a je ne sais quoi about it that seems not quite right
I don't see it that way, they are offering a yield subscription service thats resulted in the best performing bonds in the entire credit market

These corporate bonds currently have a B grade and will continue rising to A grade, opening up the flood gates of who can buy them

The bond market is much larger than the stock market but is largely ignored by retail traders because of its perceived boringness

Despite the B grade, they are currently under selling these bonds for the size of the appetite for these bonds

they are both the exchange and issuer for a coveted financial product, which is fine in the primary market but unique in that they are the only issuer of this financial product

and yes that is intrinsically tied to the special bitcoin operation. it would be nice if the bitcoin holdings had some kind of yield or was productive in some way, but the lack of that for a commodity or inventory isn't unique to bitcoin or many companies’ balance sheets

in comparison to say, De Beers constricting the supply of diamonds, or gold holders, bitcoin’s much more advanced properties that transparently show the whole supply allow for confidence in the price discovery and future price discovery

The bonds are a low overhead highly scalable fintech service, very similar to the other darlings in Nasdaq. The bitcoin inventory justifies the bonds.
> History teaches us that end to end learned system beats human designed mechanisms

Depends how far back you go. History teaches us that everything is a trade off between model size, inference time, training time, and training data size, Once you're at the pareto frontier. And that cheap approximations can allow you to trade for more expensive computation elsewhere.

That lesson has been obscured for the last decade because (1) "the bitter lesson" of scaling, and, (2), we're blowing past benchmarks too quickly.

I do agree that learned models are better if they're free (compare the distribution of filter banks learned by a neutral acoustic model to those approximated by mel frequency cepstral coefficients), but once you start hitting scaling limits, cheap heuristics start creeping back in.

BPE was a huge advancement over fixed vocab, e.g.
Generally the current crop of LLMs seem pretty good analogues of the "scan reading" immediate instinctual response to stimulus, but seems to completely lack the higher level that can then go "Wait, that doesn't seem right, let's go back over that again". Like hallucinations and seeing "Faces" in dark shadows until you look again, it's like it's doing a pretty good emulation of some level of consciousness.

Is that a fundamental difference to the level of processing? I haven't seen that sort of second-tier logic pop up from any emergence behaviors from increasing scale yet, but will that come with time? I'm not sure.
What do you mean by "natively"? Ahead of time compiled, or just working? If the latter, the present VM is already available on the mentioned systems. In my version, Gingko, I additionally removed a lot of outdated code to increase platform independence.
> Copilot and Devin never came for senior software engineers, you can't give that to a non-coder and expect it to do the work.

True now, but not true in 10 years. Or 20 years. The entire point is the total end result, and that's what we should be concerned about.
JavaScript Signals Standard Proposal
> Constructionism is based on the fact that every proof is a construction, which corresponds to a program

I don't think this is correct, even in constructive logic. Negative statements do not correspond to a construction, and in fact are the only statements in constructive logic that may be proven "by contradiction". But this means that every statement of non-constructive logic can be understood "constructively", if in a rather trivial sense, as a negative statement.

Linear logics may be a good way of exploring these issues in depth, since these allow for explicit "constructions" while preserving the sort of 'duality of negation' (i.e. flipping the direction of implications, or exchanging conjunctions w/ disjunctions) that's quite familiar within classical logic. Somewhat relatedly, there's also an interesting question of how much "construction" really is involved in typical constructive proofs, and whether that can be cleanly separated out from the more purely "logical" parts of the proof.
The Brutal Truth about Kafka Cost Calculators
> the meaning quite carries can vary significantly

Yes, it can be read as a signal that there is some variability in the amount of difficulty.

Putting more uncertainty in the wording is not necessarily bad, and in a scientific context it can be actually good.
After four years of SMR storage, here's what we love–and what comes next (2023)
Some people have coined the term explorable explanation/explorables

https://explorabl.es/

https://en.wikipedia.org/wiki/Explorable_explanation
Systems engineering. Systems are resilient, self-repairing, self-organizing. Most lifestyles are brittle. Systems are elastic and flexible.

A system is very often a bunch of reinforcing loops, managed by other loops. Hugs are a reinforcing loop. Toxic behavior reinforces too, making things more toxic. Some habits are reinforcing loops - hard work+passion, exercise, showering every day. Most forced habits are not self-reinforcing and these are the habits that deteriorate no matter how hard you try to maintain them.

Automation is often not part of a system, and often used as a patch for where a system should exist.

What people often do is set up a very stable system. When I go home, my kids jump on me. Apparently that's a better indicator than most people get. Once you have this form of stability in one place, you can set up systems for other things.

Communities are also a fairly stable system, but one that needs nurturing. Open source is a community. Bots and agents are somewhat, but the question is if they'll sustain it if nobody sustains them.

Same with work. If you're not there, things should not fall apart. Prestigious companies are also very likely to enforce this - if you're a linchpin, then you might not be doing your job.

Systems tend to oscillate, things get bad then good then bad. You have a stable system when you're confident that things will get better when bad.

Don't use them to abdicate, though. They're there to let you switch as needed. I could give a ton of real world examples, but the post is long enough as is.
notebooklm https://notebooklm.google.com/notebook/77fe83ee-35b3-4a9a-a3...
You’re conflating “website” with “landing page”.

Your ice cream shop doesn’t need a landing page because of word of mouth and foot traffic.

Some project management platform for plumbers needs a highly tuned webpage because they’re competing with 20 other such systems, and there’s no line to walk past and assume it’s there because the software is good.

Believing that if you build great plumbing SAAS software people, paying customers will magically appear, is naive.

A great product can sell itself. But that doesn’t mean that marketing and sales aren’t necessary in order to get the product in front of people, assuage their concerns, reassure them that it solves their problems, show social proof from others using it, and close the deal. A good landing page will do all of this ;)
I wrote plain HTML, JS, and CSS and it worked great in all browsers and all devices and passed all kinds of audits necessary in the real world.

Don't bother with libraries like this.
When I die, as a last wish, I hope people will go wild with speculative assassination theories. Especially if the police find "no evidence" of foul-play or the coroner says it was due to "old age"--it can only mean the cops and docs are also in on it.
Yes - of course. I think as a peon in a vast multi national there is too much “other” - PowerPoints, project plans not connected at either end to real customers or real code. I want to at least connect one end :-)
Charlie is on record stating that their goal is to sell value added pieces to their tooling and keep the core tools free and open.
I suspect this is related to why a string quartet is the right number of musical voices. Two violins, viola, and cello give you a very fulfilling number of separate ideas to track without overwhelming you.