skysight-inc/HackerNews huggingface dataset:
No, not quite the same, but similar.

Patent trolls actually own some IP, and they try to make money.
> You can pickle functions in python? You can trivially serialize any lisp function (I'm not a lisp fan).

The point of the tree calculus appears to be that it doesn't require the intermediate step of "pickling" or, as the author calls it, "quoting" the program to produce a data structure or other representation of the program [0]:

Previous accounts of self-interpretation had to work with programs that were not
normal forms, that were unstable. Stability was imposed by first quoting the program to
produce a data structure, by putting on some make-up. In tree calculus, the programs are
already data structures, so that no pre-processing is required; both of the self-evaluators
above act on the program and its input directly. In short, tree calculus supports honest
reflection without make-up.

It sounds similar to the notion of homoiconicity as in Lisp, but probably more precisely or even strongly stated.

> Plenty of programming languages with both macros and first class function objects (those that can be passed around and thus have data representations).

A language may have first class function objects, but its actual structure may be opaque and not open to reflection or manipulation (beyond of course just munging the source code as plaintext). You can maybe create a function literal, pass the function around and to higher-order functions, but you can't inspect or modify its internal structure, or decide program equality (based on either exact structure, or one program reducing to another according to the reduction rules of the calculus).

Lastly the tree calculus would also appear to differ from the lambda calculus in that programs are stable and won't reduce infinitely, instead converging on some normal form of irreducible terms. [1]

[0] https://github.com/barry-jay-personal/tree-calculus/blob/mas...

[1] https://sci-hub.se/https://dl.acm.org/doi/abs/10.1016/j.tcs....
'What does AI mean?': Amazon reveals UK's most asked Alexa questions of 2024
https://www.telescopictext.org/
> Most of my day-to-day coding is adding small bits here and there in the right place, discovering the architecture of the whole thing as I go. Without knowing what I have to do to achieve the desired result in the first place, I cannot begin writing a test with the half dozen mocks it needs (I know it's bad).

Nothing in your example prohibits or even hinders TDD. The only thing required by TDD is that you specify an interface and add tests to specify what behavior you expect from them. The moment you have something you can compile and run, your TDD path is completely open.

Also, I'm noting the hints of the same specious reasoning that plagues discussions on microservices, mainly the "it's-all-or-nothing" fallacy. You can benefit from TDD if you, say, are writing a RESTful interface and start off by only adding unit tests checking for controller behavior. If your project can live with 0% line coverage, it can certainly live with TDD buying you 20% line coverage.
Everything about barrel exports in JavaScript
Probably hadn't really thought through the specifics of tossing evidence.

Bodies of water are popular for disposing of things, because it's a huge PITA to find things there. Imagine how hard it might be in a large local pond, and then multiply that in complexity for a rather big river. Or an inland sea like the Great Lakes. Don't even multiply for those; it's a stupidly big irrelevant number.
Also, if they're not the same recording, they're not the same album, which means that the popularity of any individual album is split. Contracts get better the better an album does on the charts, but if you release the same album three times, you're competing against yourself.
Many are left-leaning artist stage names, what do you expect?

This is HN, we don't really need witticisms at the top of the comment section.
That's a, uh, rather overheated statement and ironically, a very Western point of view. Japan is one of the richest nations in the world, they can (and do) run their own payments systems.

Also, it's risible to call that stuff Japan's "very culture". It's not. Otaku culture is fringe there, too. Japan is not anime.

Also, there are plenty of legal things that are (rightly) publicly shamed and ostracized.

For example, I don't want white supremacists to go to jail for what they say, but I want their lives to be as annoying and lonely as possible.
Huh didn't realize chat.com redirected to chatgpt
> The WORKSPACE mechanism is now disabled by default.

> Bzlmod, the new way to manage external dependencies, is turned on by default since Bazel 7.0.

> We are aiming to remove WORKSPACE in Bazel 9 completely.

Oh, that's good to know. Sorry I wasn't paying attention, M.
There but why not get a cheaper Chromebook or similar device then. I find it extremely hard to believe that there are a lot of people who’d buy a RPi and don’t at least 1 PC already. It’s a device for enthusiasts and such.
> let's call it the

Call it the "studio version".

A "radio edit" is a cut for quick consumption.
that and share the statistics on eye witness testimony reliability.
Sounds like a bid to get people using Alexa for something. I think I read it's running at a loss for Amazon.
A couple of theories:

- person clearly had meticulously planned the execution of the hit and exfiltration. Even leaving red herrings on his way out of the city (backpack full of Monopoly money). Yet clumsily keeps _all_ of the evidence that would implicate himself in this murder. Not to mention he is wandering about in public while a multi-state manhunt is underway with the full weight of alphabet soup agencies, and state and local LEOs? To me, this suggests it was part of his plan to get caught. There was no escape to a non-extradition country. The “shaking” mentioned while talking with police could just be a massive surge of adrenaline as he sees his plan unfold before his eyes. Then use the live streamed and televised court to spread his message. Then live out the rest of his life as a political figure as the media continue to analyze this persons life and motivations. Just like Ted.

- Or the internet, media really over-estimated this persons competence. It was really just dumb luck that he even escaped NYC. At that point, he was just improvising after leaving NYC. His arrogance to keep the evidence as some sick mementos or trophies ultimately did him in. Likely try to plead insanity with the manifesto. Probably fail to do so, then eventually get convicted on all charges and end up in a supermax penitentiary for life.
I think it would be interesting to use an LLM to distill Wikipedia into a set of assertions, then iterate through combinations of those assertions using OpenCyc.

You could look for contradictions between pages on the same subject in different languages, or different pages on related subjects.

You could synthesise new assertions based on what the current assertions imply, then render it to a sentence and fact-check it.

You could use verified assertions to benchmark language parsing and comprehension for new models. Basically unit test NLP.

You could produce a list of new assertions and implications introduced when a new edit to a page is made.
True, I thought about it, technologies too, and other filters. Currently website has clear focus new/repeated job ads. I will see how much public interest is there for the website and if it is worth adding more features.
This thread is showing how people miss the mark when it comes to any of “best practices”.

TDD is test driven development but it should not freeze your system. If you make system testable it is the opposite of frozen. So if you design system to be testable it already should be more flexible.

The design here is one notch of abstraction above.

Also tests should not freeze anything as they should be removed if not needed. If you write 20 tests during development it doesn’t mean those 20 tests are needed for future maintenance.
Average humans don't (usually) confidently give you answers to questions they do now know the meaning of. Nor would you ask them.
> Which implies a cost of at least 2x in dev hours.

No, not really. I have no idea what led you to believe that.

Think about this for a moment: does TDD force you to comply with a target coverage metric? Is the TDD police going to knock on your door if you leave out a usecases? What about a whole component?

How many seconds does it cost you to add a test checking for the happy path?
>Typing and compilers also only guarantee coherency inside your declarations. If for instance you're expecting some library to return an int, but it's utterly broken and actually tries to return a string, the strong typing system will only let you identify why it's crashing in production. Hopefully you'd want to detect this class of issues beforehand.

If I try to call a third party library method in a language with a sane type system (like C# or Rust) that returns a string and attempt to assign that value to an int, it won't even compile. And I'll get a red squiggly line before I even try to compile.

What you're saying would only apply in something like Python or TypeScript where you might be using types/type annotations but the library you're calling isn't.
Hmm why? I thought the whole idea was this would work eventually. Physical qubit vs logical qubit distinction is there already for a long time.

The scaling problem is multifaceted. IMHO the physical qubits are the biggest barrier to scaling.
> The compiler optimizes for data locality

> So, we have a single array in which every entry has the key and the value paired together. But, during lookups, we only care about the keys. The way the data is structured, we keep loading the values into the cache, wasting cache space and cycles. One way to improve that is to split this into two arrays: one for the keys and one for the values.

Recently someone proposed this on LLVM: https://discourse.llvm.org/t/rfc-add-a-new-structure-layout-...

Also, I think what you meant by data locality here is really optimizing data layout, which, as you also mentioned, is a hard problem. But if it's just optimizing (cache's) locality, I think the classic loop interchange also qualifies. Though it's not enabled by default in LLVM, despite being there for quite a while.
that chugs while playing youtube in firefox

its nice and all but ... its just not fast enough
Show HN: Quancord – Explore the Quantum Supply Chain (Early Stage)
I'm afraid any peer-rating system would be suspectible to same kind of point-manipulation other platforms are prone to, slightly increasing the latency but not the amount of spam. Returnable tokens worth real money would make this category of attacks completely infeasible
At the end of the day, people need to do two things: write code that powers the solution, and write code that proves that the first code was correct. There are so many different ways to write the second - not just automated tests (be they unit/integration/service/component/e2e tests) but also strong static types (for earlier feedback from the compiler) and least-permissions security (for later feedback to catch unforseen behavior in production).

There's no replacement for educated engineers who pick the right tool for the job. If you go too heavy on static types, you get Haskell and Idris and get a lot of difficulty training people past the learning curve and actually putting value-generating code into production. If you go too heavy on automated tests, you get test suites that take hours and hours to run in CI and are extremely brittle and difficult to change. If you go too heavy on security infrastructure, you get big bank style practices where you're lucky to put anything past the review committees / bureaucracy.
The glazing in the issues of this repo - https://github.com/lnmangione/Halite-III/issues
This.

Unfortunately, this industry (especially startups) embraced the low-end of several untyped programming languages that are used in production-grade systems and evidently there's a price being paid by those choices.

Java, Kotlin or even C# would be a much saner list of statically typed languages to use and testing code written in those languages is much easier to reason with.
Spite?

A thing can be abhorrent and disdainful and motivated by the best and most pure of intentions, all at the same time. These are not in any way mutually-exclusive constructs.

Rarity?

Perhaps the best way to make sure a thing remains rare or unusual is to neuter it straight out of the gate. In the past few days here we've seen SSH servers and Docker containers on Android, with the repeated caveat of "Yeah, but the task killer won't let that really work." And that's absolutely true: It won't.
> Vs zero tests?

If you don't bother with tests, discussing TDD is like famine victims discussing nutritional levels reported in food labels.

> My tests are usually bigger than my implementation.

That's perfectly fine if you feel your tests are important. Getting back to the topic, TDD does not enforce coverage targets or even minimum coverage bars.
Fun fact: ~80% of Singaporeans live in public housing and all the entryways to those buildings are filled with (offical) police security cameras, including two in each lift. The cameras extends to the nearby carparks, carpark gantry (to ID the driver), bus stops (and on the bus) so all movement can be monitored. Private housing do not have such police security cameras because the estate is gated and have their own security guards, not that crime is much of an issue there. Dystopia for the masses?
> Is anyone playing with the combination of generative AI and OpenCyc?

OpenCyc specifically? No. But related semantic KB's using the SemanticWeb / RDF stack? Yes. That's something I'm spending a fair bit of time on right now.

And given that there is an RDF encoding of a portion fof the OpenCyc data out there[1], and that may make it into some of my experiments eventually, I guess the answer is more like "Not exactly, but sort of, maybe'ish" or something.

[1]: https://sourceforge.net/projects/texai/files/open-cyc-rdf/
If you have a specific vision, you will have to express the detailed information of that vision into the digital realm somehow. You can use (more) direct tools like premiere if you are fluent enough in their "language". Or you can use natural language to express the vision using AI. Either way you have to get the same amount of information into a digital format.

Also, AI sucks at understanding detail expressed in symbolic communication, because it doesn't understand symbols the way linguistic communication expects the receiver to understand them.

My own experience is that all the AI tools are great for shortcutting the first 70-80% or so. But the last 20% goes up an exponential curve of required detail which is easier and easier to express directly using tooling and my human brain.

Consider the analogy to a contract worker building or painting something for you. If all you have is a vague description, they'll make a good guess and you'll just have to live with that. But the more time you spend with them communicating (through description, mood boards rough sketches etc) the more accurate to your detailed version it will get. But you only REALLY get exactly what you want if you do it yourself, or sit beside them as they work and direct almost every step. And that last option is almost impossible if they can't understand symbolic meaning in language.
These are all strange things to tweet publicly. I would expect all of these to be DMs. Unless he had somehow closed his DMs / forced their hand.
if anyone is interested:

https://2ro.co/post/768337188815536128

(EZ - a language for constraint logic programming)
Just read his manifesto. First his mother had severe backpain, then he himself. https://defenderofbasic.github.io/luigi-mangione-storyline/m...
Quantum Computing Expert Explains One Concept in 5 Levels of Diffic[Video](2018)
> If you write a square root function, static typing can just ensure that it always returns a number which doesn’t tell you much.

What does your square root function return if you feed it a string? And what does it return if you feed it a JSON object?
> For example, I don't want white supremacists to go to jail for what they say, but I want their lives to be as annoying and lonely as possible.

Do you want e.g. electricity companies to refuse to do business with them? Do you think that's a private business decision that doesn't need any particular right of appeal or evidentiary standard?

(The author deliberately presents the notion that a bank account is something different from a utility as though this were an objective, immutable fact of nature, rather than the product of choices that the financial industry makes because it finds it very convenient to think of itself that way)
Beyond `Swap `: Encapsulation Sans Abstraction, the Transactor Pattern
> legally almost suicidal

A typical consolidated radical device to raise awareness.
It seems like you have just discovered music for the first time or you're an alien or AI.
You need to provide data behind your claim that debanking is so widespread as to use the word almost everybody.

Never ever heard any person I know being denied banking services, except for some unlucky (were they?) entrepreneur with very shady is-he-laundering-money situations.
> even if you take action and quit now it's likely they'll find other guns to hire

As Joseph Weizenbaum said, that's like saying there are a lot of rapes every day, so it's fine to rape.

Let those other "guns" who get hired (tempted) try and fail to make peace with what they do. If you take their place before they can, you're them, look no further.
The companies are fairly brazen, at least internally, about just scraping whatever, wherever and not caring about ToS of any website. All they really care about is blocking "bad" data that might make the models racist or sexual, etc.
Huh‽ While running with QtWebKit still happens to work, qutebrowser has supported QtWebEngine (based on Chromium) since 2016 or so, and it's been the default since v1.0.0 in 2017. If you're still using it with QtWebKit despite the warning being displayed about it, or using a heavily outdated qutebrowser version, that's on you and not qutebrowser...

If you're running an up-to-date Qt and qutebrowser, that'll currently be based on Chromium 122 from April 2024 (with security patches up to Chromium 131).
Maybe? If I recall correctly his original moment of radicalization was having the peace of his rustic cabin disturbed by some tourist loudly operating an ATV or jetski. However as far as I'm aware that's the only indiscriminate mass attack he undertook; I don't know if the change was motivated by a shift in his moral viewpoint or he decided narrow targeting was a more effective tactic.

Context for the confused:
https://en.wikipedia.org/wiki/American_Airlines_Flight_444
but we can't call it hunting, that's too romantic! it's only hunting when sweaty rich dudes kill animals.
This might also be a good time to lock down the uefi settings on one's machine to make sure someone with physical access can't just disable iommu.
Along with that, a portion of the content of Wikipedia is already available in structured assertion form, thanks to DBPedia[1] and Wikidata[2]. I don't know the exact percentage, but it's a starting point at the very least.

[1]: https://www.dbpedia.org/

[2]: https://www.wikidata.org/wiki/Wikidata:Main_Page
England was a bit of a backwater, though.

Charles II also spent almost his entire adult life in the Netherlands and France where the arts were much more advanced. Theaters being banned for ~20 years also meant that they had begin do pretty much everything from scratch
The stations have all kinds of strategies for avoiding these max demand charges. They can slow down the charge rate to save money for them, but there are lots of places that have local battery storage to reduce the max demand charge likelihood.
angular momentum is conserved. It would slow the rotation when raised, and bring it back to normal when lowered
The difference seems to be that tree-calculus is intensional – you can distinguish different trees within the language even if they have the same computational value.
[video] (2018)
Poll: How many hours a day are you effective?
I have always noticed a significant drop in ability after about 6 hours of work and unless urgent I switch to tasks that require far less mental concentration. A good lunch, perhaps with exercise helps recover an extra hour or so at most. Almost invariably, the next morning after a sleep, problems that took considerable effort the previous day now seem clear and straight forward.

So HN, I'm curious how many hours a day you feel you are nearly fully effective in your work.
That's overblown.

In any case, you can't force a private entity to do business with you.
I doubt we would even register as a blip. The universe is absolutely massive and there's celestial events that are unthinkably massive and complex. Black hole mergers, supernovae, galaxies merging. Hell, think of what chaos happens in the inside of our own sun, and multiply that by 100 billion stars in a galaxy, and multiply that by 100 billion galaxies. Humanity is ultimately inconsequential.
First thing I tried was to search for ကလေး, no results. Seems like this only does one direction? I guess you didn't write all the entries yourself and are instead working with an existing dataset that only supports English headwords out of the box (I'm curious where you got that data from, by the way) but I think it should be possible to parse the entries so you can reverse-search as well.
> As an example, in my desktop, it takes ~25min to compile a Debug version of LLVM, but ~23min to compile a Release version.

oh I think I know what might cause this: TableGen. The `llvm-tblgen` run time accounts for a good chunk of LLVM build time. In a debug build `llvm-tblgen` is also unoptimized, hence the long run time generating those .inc / .def files. You can enable cmake variable `LLVM_OPTIMIZED_TABLEGEN` to build `llvm-tblgen` in release mode while leaving the rest of the project in debug build (or whatever `CMAKE_BUILD_TYPE` you choose).
Related. Others?

When Americans dreamed of kitchen computers (2021) - https://news.ycombinator.com/item?id=31108439 - April 2022 (60 comments)

Honeywell 316 Kitchen Computer - https://news.ycombinator.com/item?id=30421628 - Feb 2022 (4 comments)

The oldest problem in computing - Recipes - How do you solve it? - https://news.ycombinator.com/item?id=544666 - April 2009 (10 comments)

The $62,550 machine no one bought - Honeywell's Kitchen Computer remembered - https://news.ycombinator.com/item?id=378603 - Nov 2008 (3 comments)
Seems like this was revived via the second-chance system. I noticed it on the front page (1-30) this morning, but when I looked ~two hours later it was #447.

I've sorta followed this doctor's posts for a while. He has some good insights on the deterioration of the medical profession, and its capture by big business. I particularly appreciated his post on the deterioration of the competency of surgeons.

A lot of the comments below seem to not want to acknowledge that the dissidents against the status quo might be more correct in their philosophy for making the most of our lives.
Is it unfair if someone's ancestors bought land when others are forced to share crop?