skysight-inc/HackerNews huggingface dataset:
From TFA:

> You can be finished with your project whenever you decide to be done with it. And "done" can mean anything you want it to be. Whose standards of completion or perfection are you holding yourself to anyway? Forget about those! Something is done when you say it is. When it's no longer interesting. When you've gotten a sufficient amount of entertainment and experience from it. When you've learned enough from it. Whatever, whenever. Done is what you say it is.

If you already say the goal is fitness, you're not doing SOFA. The whole point is to accrue experience, experiment, discover, not a predefined state. You don't SOFA a specific sport to lose weight, you SOFA when you want to find a sport you like enough that you will be able to do it regularly.
For myself at least, there's no way I'd stick with this over the long run given the overhead of hand-editing an HTML file (however quick and simple) every time I needed to add an item to a collection.

Seems like an ideal use for a very simple DIY static-site generator. Write it in Bash or Perl and it will be future-proofed forever.
> In conclusion, our comprehensive evaluation demonstrates that quantized models maintain impressive accuracy and quality compared to their full-precision counterparts, making them an essential tool for optimizing LLMs in real-world deployments.
It's pretty much that!
> These latest changes build off the recent Haiku R1 Beta 5 release. Highlights include:
> [...]
> - Continued work on ARM64 support.

Nice to see someone working on porting Haiku to ARM. Would love to be able to run it natively on a Raspberry Pi someday.
Data. You want huge amounts of high quality data with a diverse range of topics, writing styles and languages. Everyone seems to balance those requirements a bit differently, and different actors have access to different training data

There is also some moat in the refinement process (rlhf, model "safety" etc)
ahhah, thank you

this code appears in the loading screens for the new game "forever winter"

I was wondering if it was from the game or not, so it seems not!
Wow, this is brilliant! Sign me up!
Fine with me. I've even considered turning off Copilot completely because I use it less and less.
"Well, that's funny, because I happen to have Mr. McLuhan right here...
Oxygen is a great book that covers a lot of this from geology to microbiology to chemistry.
It's surprising that Go didn't ship with it, but given that they just added iterators, it's coming.

Rust has combinators, which is the same thing.

Most new languages are recognizing that functional support (even if they don't consider themselves FP languages) is necessary.
I think i read somewhere that people in snake infested areas like to have cobras in their villages as cobras prey on smaller venomous snakes.
Just mandate that everything must be run on an Intel or ARM chip and be done with it. Stop pretending anything else is viable.
Yeah, it was bad. What kills me is SQLite has its own absurd set of gotchas [0] yet is seen as amazing and wonderful by devs. PKs can have NULLs? Sure! Strings can have \0 in the middle of them? Why not? FKs aren’t enforced by default? Yeah, who needs referential integrity, anyway?

My only conclusion is that the majority of devs don’t actually read documentation, and rely purely on the last blog post they read to influence their infrastructure decisions.

[0]: https://www.sqlite.org/quirks.html
That's the thing, this data is in public domain, since Rodin died a long long time ago.
No. It's good for a couple of hours, but I much prefer my 27" screen at home for a whole workday. I haven't tried the same experience on the Vision Pro yet because that's not something Apple lets you try out when you book the free demo, so I can't compare, but I'd guess it will be similar because at some point you get tired from the weight on your face.
Did OpenAI publish concrete numbers regarding this, or where are you getting this data from?
I would just switch to Claude of Mistral like I already do. I really feel little difference between them
If you want to avoid a hassle, I've found a bunch of sites that have something along the lines of "If you're using this site, we assume you're [13/16/18]+, please don't use this if you're under [13/16/18]" buried in their terms of service.
What is this holding back? A redo based alternative to MVCC?
It's just built on top of anything that is Iterable. If a language has first class iterator support, they could do something similar.
Maybe that was true in 2012 (maybe it was related to MyISAM) but by ~2015 with InnoDB MySQL replication was rock solid.
> Long-term stability comes from building trust over time and avoiding the emotional toll of repeated breakups.

I see the idea, but I turbo-fucked those relationships because I didn't understand how to communicate. It took me 2-3 LTRs to get a handle both on what I wanted, how to explain my needs/flaws/etc, and how to make space for somebody elses yada yada.

I admire people who managed to get through that stuff first time, but i feel like they've got to be the exception?
Why does everyone always like to compare every company to Amazon? Those companies are never like Amazon, which is one of the most entrenched companies ever.
Brazil Arrests 'USDoD,' Hacker in FBI Infragard Breach
Singapore is 20x denser than India, and the entire country is just the city.
I’m late to the party but I’ll drop the truth at the bottom: computer science in its own right is just modern philosophy of mind. It’s the specification of the conceptual limits of cognition.

I love his “sociological sense”, and agree that at some level all these words are just words in language games that are defined with great diversity across the world’s academics, much less engineers and laypeople. But I also agree that there’s something worth defending in “computer science in its own right”, as I said above; that is, in turn, the core task of philosophy of science.

Of course I would expect him to push back on this description of the field because philosophy has lost all its street cred, but that would only encourage me to redouble my efforts. If it’s not empirical study of actual results, and it’s not mathematical study of intuitively-based theorems, what else is left?
On mobile, so I can’t try this - what does this do?
Show HN: Desktop app displaying files on a 2D canvas
Hey all! I always wanted to arrange my text/markdown/pdf files on a 2D canvas and visualize them without opening all the windows. An extra feature I added is also visualizing folders within - so kind of a 3D visualization? It was also important to be an offline desktop app, rather than online tool like Miro or Mural, because once I edit files in Sublime or AdobePDF then I want changes to sync in the canvas right away.

Some technical points and lessons learned: being Android developer helped a lot with this project since I used Kotlin Multiplatform with Compose Desktop renderer (actually skiko). It runs on JVM under the hood, which was exciting at first since I can use the app on all of my Mac/Windows/Linux machines. Right? Wrong. One lesson I learned wasn’t “write once - run everywhere”, it was “write once - test everywhere; repeat”. On the other hand, using Kotlin Multiplatform will allow me easily to port to Android and port the logic to iOS.

Anyways, I released LimanDoc v1.0.3, still in Proof-Of-Concept, so I hope to get some feedback and features you think would be helpful.

I was thinking these features would be great for future releases:
- adding a local LLM support to search/summarize your docs, books, videos, etc;
- sync on local network (including future mobile apps)
- Templates, groups, and better diagram integration like in Drawio.
I sympathize. I nearly dropped Prolog for this reason until I learned about term_expansion/2 and goal_expansion/2.

If what Prolog is doing you consider incorrect, _make it_ incorrect.

DCGs can be used to convert any data structure to a sequence. Actually, they are capable of any graph to graph , so they could produce a sequence of commands.

The oft-cited Markus Triska has some great work on this:

https://youtu.be/vdabv9EkYrY?feature=shared

https://www.metalevel.at/zurg/

You can also use Prolog as a coordinator on external systems.

See https://github.com/mthom/scryer-prolog/blob/master/src/lib/p...
I sort of agree. I recently had to code splunk a bug with 3 other engineers and we all got to a relatively complex LINQ and of the 4 of us, we all had 4 different interpretations when visually inspecting.

> Not understanding how damn hard it is to test LINQ stuff.

I disagree with this. Just run the LINQ query on a compatible iterable.
In stunning move, Texas Supreme Court halts Roberson execution
Ethic judgement becomes simple when you outsource the decision of who is and isn't a terrorist.

Is everyone in Gaza a terrorist, in your opinion?
This same person fought for years to get the Berlin Egyptian museum to release 3D scans of the famous Nefertiti bust. The museum also claimed it would undermine its revenue streams through the gift shop, but as the case progressed, that turned out to be very misleading - the museum had made less than 5000 EUR over ten years from 3D scans.

https://reason.com/2019/11/13/a-german-museum-tried-to-hide-...
I think you’re giving the British government far too much credit. Between 2010-2024, the governing party had a religious belief in the power of outsourcing to the point that former ministers (Rory Stewart being one) have spoken out about how many problems they caused by pushing the model to its extremes, irrespective of whether it makes sense or not.

Where it comes to organisational complexity and the barriers it creates, bear in mind that the British state is vastly more centralised than the USA. Fragmentation in the NHS was massively exacerbated by the Lansley Reforms which also forced trusts to outsource a lot of work.
You hit the nail on the head. Companies are scrambling for an edge. Not a real edge, an edge to convince investors to keep giving them money. Perplexity is going all in on convincing VCs it can create a "data flywheel".
Author here. Huh, you're right. 13 turns into the first scenario I opened[1] I get offered very weird deals, such as investing my full 184 ducats in a shipment worth only 182 ducats. Or! Investing 1878 ducats when I only own 184...

I wrote this game a few years ago, and it didn't use to have this bug. I can't take the time to figure it out now, but clearly something went wrong along the way!

[1]: Fortunately it's easily reproducible: put down the minimum in all first 12 turns and then look at the weirdness that is turn 13! https://xkqr.org/ship-investor/ship-investor.html?seed=883
> No actions to take?

The actions to take would appear to depend upon whether one wishes to have fewer adults with lifetime ADHD symptoms, or more*.

The childhood adversities to affect either way are from [RutterQuinton77] and listed in TFA's Table S1, abbreviated here:

*Low educational level parent with neither school nor training
*Overcrowding more than 1.0 person/room or housing<=50m2
Parental disorder moderate to severe DSM-III-R
Parental history insitutionalised/deliquent/changes of parental figure
Marital discord low partnership in 2 of {harmony,communication,warmth}
*Early parenthood a parent <=18 (birth) or relationship <6 months (conc)
*One-parent family (at birth)
*Unwanted pregnancy an abortion was seriously considered
*Poor social network lack of friends & help in child care
Severe chronic probs affecting a parent for more than 1 year
Poorly coping parent with stressful events of past year

The ones marked with * are those factors I believe relatively easier to address via social policy.

EDIT: TFA uses different measures, discussed in the section "Definition of Rutter’s indicators of adversity (RIA)":

low social class both parents
marital discord parents not at same address
large family size 4+ children
paternal criminality
maternal disorder ICD-8: 290–315 or ICD-10: F00-F99
foster placement

* for instance, [Huxley32] mentions the practice of inducing fetal alcohol syndrome in order to ensure a steady supply of menial labour
And this is the person who saved me from nearly dropping Prolog!!
oh my god, that person arguing for zaniechaj seems like the most obnoxious person ever.
Meet The Candidate: Elon Musk
Understanding the Inflection in Wafer Fab Equipment Growth
I have often argued that computer scientists should be more interested in FPGAs and ASICs. Does the notion of Turing complete apply to a stack of LUTs? Look up tables are of course a nice mathematical generalisation. And how does that relate to prolog?
As far as I know, this is the first time in U.S. history that an execution has been halted due to a subpoena.

> The all-Republican court's decision comes in response to a first-of-its-kind legal maneuver in which a House committee voted to subpoena Roberson after his scheduled death.

See also https://time.com/7094361/texas-supreme-court-halts-execution...
With sqlite3 -backup
There's an online backup api
> To use the concept by Deleuze, everything has been too “deterritorialized.” We’d all probably be happier with a solid narrative underlying our senses of self and society.

That’s a narrative in and of itself. The Opium of the masses.

And judging by the length of the comment thread, it’s really difficult to change someone’s mind once they have settled on a narrative, like trying to kick a habit.
How are the income taxes in comparison?
> It creates a narrative to justify our actions to others

I would disagree on that point.

I believe that you create that narrative for yourself, to create an illusion of consciousness. More than that, an illusion of consciousness through time. That's why memories are so easily modified/created by outsiders. That how placebo/nocebo effect works. That's why you create fake memories from a photography, or why you sometimes tries to justify reactions post hoc.

This is also just a theory (inspired by Keith Frankish).
> I wish there was an open source alternative to Inkscape that didn't support standard SVG but used a proprietary format instead.

It didn’t need be a proprietary format, it could just as well be a new open format. Inkscape could itself create an open format that they saved to by default and supported many features SVG does not. They they publish the specification for it. Done.

A format doesn’t need to be popular, in widespread use, or proprietary to be useful.
> My experience has been that they spin up either a hideously under or over-provisioned RDS or Aurora instance, and then never touch it until it breaks, at which point they might ask for help, or they might just make it bigger.

Yep that’s exactly what I’ve seen too :). I still overall prefer this distributed database model - yes you spend more and people make mistakes (and learn). But if you can afford it you get higher velocity and more incentive aligned ownership than the old central gate keeping DBA team model.
https://www.samygo.tv/
C++ is the second-most-widely-available language (behind C). Many other things are viable. Everything from a Z15 IBM mainframe to almost every embedded chip in existence. ("Viable" meaning "still being produced and used in volume, and still being used in new designs".)

The next novel chip design is going to have a C++ compiler too. No, we don't yet know what its architecture will be.
No; your link immediately waters down its claims: “at least that's not the primary effect”.

It needn’t be primary to be important. If iOS didn’t enforce Safari, we’d see a lot more “only works in Chrome” signs on sites and “emerging standards” would be added to Chrome without much chance of Firefox keeping pace.

Apple’s motivations are hardly pure, but as a FF user I’m glad iOS has the market share it does.
You can buy plush neck donuts which do the same thing, my cat lasted one day with a cone before I felt too bad and same day delivered one.
Why? Because it's risky when a lot of business critical data and processes rely on it. I'm just happy I was able to convince my boss to let me upgrade our 9.1 instance to 14 two years ago. Now to upgrade those two pesky 9.4 instances.
>> So I'd be concerned that Curry gives up the simplicity of Prolog's execution model, and ease of meta-programming.

That was my concern with the paper listed above also. Functional syntax is to my mind needlessly over-complicated. Types are useful but you can roll your own if you need them, and Prolog makes that easy enough.

>> I'm currently using SWI-Prolog. Performance is excellent, it has excellent high-level concurrency primitives[0] (when was the last time you pegged all your cores solving a problem?), and many libraries. I might be one of the few people who has committed to using the integrated editor (PceEmacs) despite being a Vim person. PceEmacs is just too good at syntax highlighting and error detection.

Hah! Hello fellow PCEmacs >> vim user :D

Markus Triska's stuff is good and he's undeniably an expert in Prolog programming, I mean duh, but he and a couple of others have needlessly caused a rift in the Prolog community (mainly between themselves and everyone else) by being so stroppy about the ISO non-conformance of SWI-Prolog. I hope Markus is reading this. The Prolog community is very small and dwindling and we can't afford such drama. We need more Prolog compilers, yes, ISO conformance is good, yes, but SWI-Prolog is a robust and battle-tested implementation and it is the ISO standard that should be leaning on its experience of being a real-world Prolog used by real programmers and not just the other way around.
serious question, why is Sam Altman held in such high regard by so many people? as far as I can tell, his career was:

1. a startup that went nowhere and failed

2. getting hired by YC to hand out other people's money

3. being fired, personally, by paulg for reasons unknown

4. this world coin nonsense

5. getting hired as a (non-technical) CEO of OpenAI

how did he manage that? why do so many people consider him a visionary / amazing manager / such as hot hire? what am I missing?
you must have a lot of units
> The marginal cost of inference per token is lower than what OpenAI charges you

Unlike most Gen AI shops, OpenAI also incurs a heavy cost for traning base models gunning for SoTA, which involves drawing power from a literal nuclear reactor inside data centers.
No, it works for both [0] types. The first TIMESTAMP thing you’re referring to is that if a specific variable isn’t set, the first TIMESTAMP column automatically gets auto updates applied on creation and update, unless you explicitly defined it to not. This was the default behavior in 5.7, but has since been changed.

[0]: https://dev.mysql.com/doc/refman/8.0/en/timestamp-initializa...
As I recall, while Amazon was doing this, there was no comparable competition from other vendors that properly understood the internet as a marketplace? Closest was eBay?

There is real competition now that plenty of big box stores' websites also list things you won't see in the stores themselves*, but then also Amazon is also making a profit now.

I think the current situation with LLMs is a dollar auction, where everyone is incentivised to pay increasing costs to outbid the others, even though this has gone from "maximise reward" to "minimise losses": https://en.wikipedia.org/wiki/Dollar_auction

* One of my local supermarkets in Germany sells 4-room "garden sheds" that are substantially larger than the apartment I own in the UK: https://www.kaufland.de/product/396861369/
Looks like a good design

Doing something like randomly sampling a range of a-zA-Z0-9 and all the symbols without order or structure is absolutely the worse way of doing it for passwords that humans need to type/read, or in fact anything that might get tripped by special characters (like shell scripts, etc)

Yes yes you might lose a bit of entropy, just add one or two characters to it and it will make up for it. Passwords are not so much bruteforced from zero anymore rather than leaked from places with bad password hashes
“No, that's the beautiful part. When wintertime rolls around, the gorillas simply freeze to death.“
Ergodicity in the mean refers to the ensemble mean being the same as the temporal mean, i.e. measuring one process 1000 times will give the same average as a single measurement of 1000 different processes.

One way for a process to not be ergodic in the mean is when there's some sort of barrier, as sibling comments allude to.

Another is if the overall mean value is picked randomly each time the process starts, but is different each time the process runs. So for example personal monthly expenditures are not ergodic in the mean, because some people are born into circumstances that make them wealthy, and they will on average spend more each month than people not born into such good circumstances.

The ensemble average will tend towards people's average spending, while the temporal average will tend towards each individual's spending.
Triple shift pops up a red "Access Denied" message in the middle of the screen. Alt just shifts focus to the browser's toolbar, at least in Chrome.
In case anyone doesn't know about the field of etymology: https://www.etymonline.com/word/confluence
It is not rocket science to implement IQueryable but it is not trivial either since the API is optimized towards ease of use rather then ease of implementation. The Select and Where methods support arbitrary C# expression trees, so the implementation have to traverse the tree and throw errors if some expression cannot be translated to the underlying engine.
More than 1 person per room??? Surely everyone having their own room is a very recent development?
Sorry for the misunderstanding, should have made it clearer. Mazeg is a service provider company that i've started. Link was misplaced there didn't want it and can't remove now :D lol
>unless you are talking about SQL like syntax

yes thats what linq is?

https://learn.microsoft.com/en-us/dotnet/csharp/linq/

"Language-Integrated Query (LINQ) is the name for a set of technologies based on the integration of query capabilities directly into the C# language." With LINQ, a query is a first-class language construct, just like classes, methods, and events.

doing this in java is not LINQ imo

List<Integer> lowNums = filter(toList(numbers), new
Predicate<Integer>() {
@Override
public boolean apply(Integer n) {
return n < 5;
}
});
While I agree the comparison is not going to provide useful insights, in fairness to them Amazon wasn't entrenched at the time they were making huge losses each year.
How the Malleus maleficarum fueled the witch trial craze
Practice Divergent Thinking (2020)
Regarding the testing, it's more the sheer multiplicative number of cases you have to consider on a LINQ expression.
At least WPE's moves make sense. Who knows what Mullenweg will do next.
Tanstack Query doesn't actually store data for you, it just caches what comes back from the queryFn. You would still need to implement your own data store, e.g. using IndexedDB or OPFS. And if you wanted both a local data store for offline writes and a network connected backend when available... I'm pretty sure you'd be doing a lot of extra work yourself. That's what a sync engine should give you, I think.
While that change from LGPL to GPL affected only the client library (server always was GPL(+commercial)) and the MySQL company relatively quickly reacted with a FOSS exception to the GPL and by providing a reimplementation of the client library under PHP license (mysqlnd) to serve that market.

(I joined MySQL shortly after that mess, before the Sun acquisition)
Cultural imo. Comparing similar conditions in SE Asia, the communal sense is stronger there. India, despite being a collectivist society, there is this weird quality where people wear bending rules as a badge of honour. Bragging about how you "beat the system" is often met with adulation which in many other cultures you wouldn't dare openly talk about.
You know what they say:

Naming things is one of the 2 hardest problems in computer science. The other one being cache invalidation and off by one errors.
Sounds great, I'm off to give it a try!