skysight-inc/HackerNews huggingface dataset:
I’m not sure. The bestsellers lists are full of average-or-slightly-above-average wordsmiths with a good idea, the time and stamina to write a novel and risk it failing, someone who was willing to take a chance on them, and a bit of luck. The majority of human creative output is not exceptional.

A decent LLM can just keep going. Time and stamina are effectively unlimited, and an LLM can just keep rolling its 100 dice until they all come up sixes.

Or an author can just input their ideas and have an LLM do the boring bit of actually putting the words on the paper.
GNU is not Unix...
Thanks! I am collecting all "test prompts" which appear at HN and Reddit. I plan to create a hugging face dataset. I will soon publish "Vojta-1B", which is gonna pass all of them.
Seattle has no problem at all attracting people who actually want to be here! Quite the opposite: building enough new housing space for all the people trying to move here has been one of our more significant problems for many years now.
No one who cooks, cooks like this. So, no, a burrito is not a monad, unless you are performing Catholic Mass and the burrito is sth sth, in which case you have more words to write and I while I believe you can write those words, the words are not interesting. That it why I am saying your analogy is not interesting, and I think you were just attracted to burritos because they can hold.. anything? Even though that's not the path you went down?
That's just cope. With that savings rate he can save for 10 years and spend the next 40 years doing his own thing. As long as you keep your standard of living the same.
Probably not a problem for anyone who needs compliance with a 2003 standard.
Gamer Saves Collection of Video Games from Being Sent to the Dump
Are there any other operating systems today that are Unix certified?
I guess you meant 2 operations and 3 laws?
this is the "paper": a list of citations https://www.liquid.ai/blog/liquid-neural-networks-research

i guess they're not really making an effort to explain how specifically all this comes together to create LFMs.

other finds https://x.com/swyx/status/1840794198913794236
It may be "certified" but that hardly matters when MacOS Sequoia is a pay-to-access-networking operating system. https://developer.apple.com/forums/thread/663875 https://developer.apple.com/documentation/bundleresources/en...

It's absolutely wild. They've broken multicast and UDP for all applications that do not pay Apple money (like open source, community coded ones). Which means things like mouse/keyboard sharing applications like synergy/barrier/etc stopped working in many cases. But that's just the tip of the iceberg. And there's no way for a human to control this "multicast entitlement" on their own OS how they like it. The only way for applications on Sequoia to have multicast network access is for some commercial developer pay for it.

This is very not Unix. Careful out there "up"grading.
There are probably a few levels.

Originally, at small scale, you need to pick hits better than others (or get lucky).

Next, you want to scale large enough that you can make enough bets to amortize individual bet risk across a large portfolio.

Then, once you're over that scale, you need to be back in the business of picking hits more reliably than the next VC.
It has not been disproven. A simple Google search "is my phone listening to me" provides a resounding yes.

These things need to hear your prompt at the very least, which entails (in many cases, if not most) listening at all times.

Security researchers DO look at this and they, along with everyone else, just shrug because you technically DID give consent when you accepted the thousand line policy you didn't read.
> I really should read more about how Shazam's algorithm works, because it feels like magic.

https://www.ee.columbia.edu/~dpwe/papers/Wang03-shazam.pdf
Exploring Zotero, Hypothesis, and Anki
I'm new to Zotero and Hypothesis and am exploring how they might fit into my spaced repetition workflow with Anki. I've been using Anki to copy articles and create cloze deletions (where parts of the text are hidden and reviewed with spaced repetition) to build long-term memory. However, Anki struggles with large articles and lacks organization tools like file browsers.

I’m looking for ways to connect knowledge better, like rearranging ideas and linking concepts. Tools like Obsidian and Logseq are promising but feel restrictive with their markdown-based structure. While Obsidian has a canvas feature, it feels clunky compared to the freeform nature of OneNote. I’d prefer something more intuitive that allows rich-text editing and free dragging of elements.

I'm also wondering if a browser-based tool might work. Since Anki cards are HTML-based, with support for JavaScript, a web app with drag-and-drop for HTML elements might allow more complex card creation than markdown tools. This could integrate with Zotero and Hypothesis for seamless annotation and syncing to Anki.

What I’m Looking For:

Flexible tools for arranging and connecting knowledge (beyond markdown).
Browser-based solutions with drag-and-drop HTML functionality for Anki.
Customizable APIs to sync across tools like Zotero, Hypothesis, and Anki.
Hardware Question:

Does the Samsung S-Pen help with precise text selection for tools like Anki? I'm considering a Windows tablet for running the Anki desktop app, but I'm also curious if Samsung foldables with the S-Pen are a good alternative for productivity.
If anyone has experience with these tools or setups, I’d love your recommendations!

Thanks in advance!
TalkPersona offers free Real-Time video call with an AI Chatbot. It facilitates face-to-face conversation with an AI companion with a virtual talking face and lip sync. The human-like conversation is like no other chatbot on the market, it feels like facetime video call with a real person. The underlying Large Language Model (LLM) is uncensored, meaning it offers more genuine, natural conversations — not overly polite or politically correct responses like many public chatbots.
> - Blog you've never heard of? Right.

That checks out.

There's a certain sect of the far right that is easily convinced by one guy saying "The media is lying to you! This is what's really happening!" followed by the most insane shit you've read in your life.

They love to rant about the Deep State.
> I have recently been fixing some stuff in my old React pre-hooks code and I hated it because class-based components had all sorts of concerns intermixed on their lifecycle methods... no matter how much you tried to abstract them.

The lifecycle concerns are still there, sometimes things need to happen when a component is first displayed, and sometimes things need to happen with a component is removed from the page. It is just handled differently now.

My other issue with hooks vs classes is that, and I say this as someone who loves FP, the best application of OO programming is for UIs. At the base level, a text input field has an object created in the browser, and that input field has state. UIs are inherently stateful things. The OO model is natural for building UIs, you typically shove an object on the screen, that object has some state, and the user manipulates that state.

OO is a great abstraction for UIs. IMHO it is a pretty bad abstraction for most other problem domains, but for stateful UIs, OO maps pretty darn well to what is actually happening!

I just don't see the benefit of throwing another abstraction layer on top of all that.

One reason I love Svelte 4 (haven't tried 5 yet) is that it is so bloody simple compared to React. After years of programming in React, I was literally 5x more productive in my first ever Svelte project than I had ever been in React.

All I need is a good way to encapsulate HTML components for reuse (which is fundamentally an OO thing, instantiate new instances of a component template!) and a good state management system that pushes state changes out to subscribed components.
Tthat sounds very anti-trust to me...

Although that might imply there must be a business involved that is wronged by their actions... and many open source programs do not have that luxury.
The Burrito type is the monad.
I think this is F#, not Haskell. '*' creates a product type, pretty sure it's a tuple in this case.
"Meat option" is an alternative syntax for "Option<Meat>" and "Ingredient list" is a linked list of Ingredients
Yes, for sure intertial and star guidance has been in use in ICBMs forever. But if the inertial guidance is far more accurate, perhaps this changes what you can do with conventional ICBM munitions. For instance being able to target something 10,000 miles away in a GPS-denied place with a 2,000 pound chemical explosive rather than using a cruise missile. Now you can take out someone’s leadership from US soil without using a nuclear warhead.
> Slaves were generally expensive

That varied extremely relative to time and place but yeah there was a pretty clear prelateship between that and how they were treated (e.g. Ancient Romans treated as slaves as entirely disposable during the Republican period but began introducing various laws protecting their rights etc. when the supply dried out by the 100s AD).

Also you're disregarding the massive societal disruption and loss of life the slave raids themselves had (historically slave populations were almost always non-self sustaining, besides a few exceptions like the Antebellum US). Victims of the Atlantic, Islamic, Mediterranean, East European etc. had a 15-50% chance of dying before ever reaching their final destination), at the start of the "logistics chain" their lives were almost entirely worthless.

> most slaves, it was farm labor. In which case, there would absolutely be a few horrible traumatic events

I would suggest you read about slavery in Haiti and other Caribbean colonies. The life expectancy for newly arrived slave might have been as low as 4-5 years (they were basically disposable "tools" since the prices of new slaves were quite low).

And this wasn't really that exceptional (about 2x more slaves were imported to Haiti alone than to British North America/US).

> I am daring to suggest that life for the lowest classes

> right now isn't as much of an improvement as we would like to believe.

That's extremely delusional.
I'm not much of a cooker, but I helped my spouse organize her recipes into a little site. The backend is just a SMB file share with one text file per recipe. And there's a perl script that looks for changes, generates the HTML, and pushes it out to the web, so it's easy to reference on the go, maybe while at the grocery store or something. The perl script needs to do a bit of magic around character set detection, because windows likes to do dumb things, but otherwise, it's pretty straight forward, other than kqueue is a bit arduious for watching a whole directory tree (I think Linux has a better api for that, but it's doable in kqueue).

No diff tracking, but you can put notes in as you like, it's just text. You could use git as others suggested too. It's just text, git is good for changes in text files.
So, basically this is Windows Recall for Mac.

I'm still very iffy about this. It opens a huge can of worms in terms of privacy. However at least in this case it's not managed by a big company but installed and maintained by the users themselves.
monad tutorials are monads
FastMail :)
> GNUnet must use compartmentalization to protect sensitive information.

what's a good description of what they mean by that?
Or end them.
Okay I get that but for a « click away », a subscription of that amount is really too much compared to other amazing apps that I use every day. For example, I can make screenshots with MacOS a clic away. I bought Shottr because it’s a convenience app and I use it hundreds of times per day and I save a tremendous amount of time and clics to edit screenshots. But it’s $8 once and does a LOT with many great features
Microsoft is now "subject to extended abuse control" by German antitrust
I've been playing around with this concept this year as well. Not surprised to see the negativity in the comments. But there is value in this concept, and some of us are going to explore it and find out how to make it work without the dystopian weirdness some of y'all immediately jump to.

I've recorded roughly ~1000 hours of livestream of myself this year. 90%+ of it is boring nothingness, but it is not intended for public consumption anyways. I have and will continue to chop up and post on youtube/twitter the interesting moments I do end up capturing, but it's mostly for myself anyways.

I haven't quite gotten to the point where I've been able to articulate the benefits of this practice in a way that might sufficiently pique the interest or at least acceptance of others in the tech community or otherwise, but that's ok. I did make one video where I started to touch on this idea https://www.youtube.com/watch?v=2zqXkNhaJx0 and I will keep working on it and hopefully demonstrate the personal value (and perhaps societal at scale) as time goes on.

The future is going to get pretty weird. Keep an open mind.
Inference costs many many times less than training. I think we may end up with one more round of training a larger foundational model, and then it's going to have to wait for new, cheaper, more efficient hardware. It's quite possible that all of these first mover companies go bankrupt, but the models will still exist generating value.
Verizon Outage
AGI would seem to require consciousness or something that behaves in the same manner, and there does not seem to be anything along those lines currently or in the near future.

So far, everyone that has theorized that AGI will happen soon seems to be believe that with a sufficiently large amount of computing resources, "magic happens" and poof, we get AGI.

I've yet to hear anything more logical, but I'd love to.
The linked page lists some SCO, IBM, and HP products. I have no idea how relevant any of those are. Is macOS the only remaining Unix with significant a significant user base?
Arizona Town Cracks Down on Project Cars with Single 'Inoperable' Vehicle Limit
Looks like this has been hugged
If you actually read any of this thread you'd see many feasible suggestions for how to fix the problem (better communications methods, improved tooling, adapting to how younger developers engage, etc., etc.). And if you really paid attention, you would notice absolutely none of them start with "first, invent science that doesn't exist...".
From the nextcloud article:

3 years after a formal antitrust complaint by Nextcloud and 30 other European tech companies the German antitrust authorities (“Bundeskartellamt”) have announced that Microsoft is now “subject to extended abuse control” as they are determined to be of “paramount significance across markets”.
You are meant to feel it. Just: it does whatever is helpful.
In the code example, it'd be `Burrito` along with the `>>=` operator and `return` function. In Haskell, Monad is the type class (more or less an Interface) that specifies the types of those functions, so anything that implements Monad is said to be "a monad". F# does not have type classes, so there's not one single thing to point to in that code as a monad, only the interface being implemented as a whole.
When I first read your message I was honestly crafting a very different response, glad you went with that.

Honestly the issues I have had with online recipes is before ChatGPT. But recently I do have to wonder. So honestly just staying away from it has been a better option.
> It is my understanding that about 50% of the cultural values companies prescribe to their teams are values they don't want to see adopted.

Sure, same here. What I don't understand is the idea that such pervasive mendacity and self-delusion should acceptably characterize a kind of culture that anyone is expected to regard as worthy of respect.

I realize it has a lot to do with the difference between organizational desiderata and organizational incentives, or put otherwise between asserted and revealed preference. Still, this is a problem in design susceptible to methods of analysis and adjustment recognizably derived as much from engineering as sociology, and it is not a novel field; I first learned of it from books published in the 1960s. The regression in ambient knowledge since then is remarkable, not to say shocking.
Cyber augmentation (hearing aids, cochlear implants, etc.) are often a means to become more empathetic, because it allows deeper connections.

As someone who suffers from ADD, I simply won't be able to recall forever everything someone and I said, so I use technological augmentation in the form of writing down birthdays, for example. When I'm at meetups, when a conversation huddle ends, I'll write down notes, or more likely, send a custom linkedin connection request mentioning what we talked about.

The result is that we have the same, empathetic, human conversation as before, and also next time we talk, I can ask them about their startup or hobby, and also I wish them a happy birthday every year, which I think is a net positive without any downsides.
I got this >>

To determine the winner, we need to calculate the time it takes for each car to complete the 100-mile race.

For Car A: Speed = 10 miles per hour Distance = 100 miles Time = Distance / Speed = 100 miles / 10 miles per hour = 10 hours

For Car B: Speed = 5 miles per hour Distance = 100 miles Time = Distance / Speed = 100 miles / 5 miles per hour = 20 hours

However, Car B has a 10-hour headstart, so we need to subtract that from its total time: Adjusted Time for Car B = 20 hours - 10 hours = 10 hours

Both cars take 10 hours to complete the race, so they tie.
… acknowledge all the problems with launching an ICBM and the adversary not knowing what type of warhead it carries, of course… just ignore me.
And if you're familiar with the US Navy, you know that they're capable of absolutely EPIC levels of stupidity. One recent case, involving an aircraft carrier:

https://www.secnav.navy.mil/foia/readingroom/HotTopics/BHR%2...
Ooh, I have stop the madness. I’ll have to check for that option. Thanks!
The "(and makes certain guarantees)" is the important-and-not-unnecessary part, rather than a parenthetical.
True, though those will probably install loggers on their targets' computers anyway.
I remember a time when this mattered in terms of branding (Mac OS X being a Unix). It meant that the OS was “industrial-class”. This was against a backdrop of Macs not being seen as serious machines, unlike Windows machines which were more “corporate”.

But nowadays macOS is so pervasive that a Unix certification doesn’t buy much brand cachet. Perhaps it might help for specific compliance requirements but those are likely the minority.
Relegating "tortilla" to one word with no options is a travesty it's the most important part of my California Burritos from Juanitas.
Thank you I will check that out, I am a bit annoyed I have a shelf of cookbooks but most are kinda crap. But happy to spend money on a good book that quickly pays for itself after a meal or 2.
The ideas come from these papers:

1. [Liquid Time-Constant Networks (2020)](https://arxiv.org/abs/2006.04439)

This is essentially a neural ODE applied to leaky integrate-and-fire.

2. [Closed-form Continuous-time (2022)](https://arxiv.org/abs/2106.13898)

A closed-form approximation of the first.
Gwern's done a deep dive into some of Calhoun's work & how it's popularly interpreted – the abstract:

> Did John Calhoun’s 1960s Mouse Utopia really show that animal (and human) populations will expand to arbitrary densities, creating socially-driven pathology and collapse? Reasons for doubt.

https://gwern.net/mouse-utopia
This is F#. >== is a bind operator, but it's not built into the language, so it's defined as a custom operator here. |> is a pipe
Like some kind of linter?

The cardiologist checks the ECG, compare with the LLM results and checks the difference. If it can reduce error rate by like 10%, that's already really good.

My current stance on LLM is that it's good for stuff which is painful to generate, but easy to check (for you). It's easier/faster to read an email than to write it. If you're a domain expert, you can check the output, and so on.
The danger is in using it for stuff you cannot easily check, or trusting it implicitly because it is usually working.
That's just the low hanging fruit. People are going to be moving further up the "intelligence" stack as systems integrating AI get more sophisticated.
Both of your links refer to that entitlement being required on iOS, not macOS, are you sure it applies to Mac (and if it does, does that even matter given non-app-store-apps can assert whatever entitlements they'd like with impunity)?
A future forms a monad because if you have a future that returns a future that returns an X, then there's a standard transformation from that to a future that returns an X
Llama 3.2 1B and 3B both claim a 128,000 token length.
He was a legend before he set foot in the NBA.

"After blocking a player's shot, he would point his right index finger at that player and move it side to side."
Everything linguae says is correct. The additional bit of the system to understand is that the actual teaching (of undergraduate courses) is done by "Adjuncts", who are holders of advanced degrees, but on contract (ie, not salaried employees of the institution) for each class.

Adjuncts generally earn poverty wages, and exist in a state of profound financial and existential insecurity. Universities won't hire any individual adjunct for more than a certain number of classes per term (lest they become a full-time employee, to whom they owe health insurance and other benefits), so adjuncts usually need find employment with more than one institution, or else a secondary job to make ends meet (I met folks, teaching at universities you've heard of, working in restaurants and fast-food on the side).

Even worse, universities (by and large; maybe there are honorable exceptions I've not heard of) will not consider their adjuncts for promotion to tenure-track positions. Even worser, other universities likely won't consider you for tenure-track if you've adjuncted elsewhere - so, even if you've managed to publish some interesting papers on top of your teaching grind (I'm coming from a Humanities background, where that's more possible than in STEM), the people who know you won't hire you, and you aren't able to claim your association with [Prestigious Institution] because the stench of "Adjunct" hangs about it.

(The additional point about community colleges is correct. You will often find better undergraduate instruction - from imminently qualified professors - there than you will at brand-name universities. However, some community college systems are also starting to adjunct their classes, as a cost-saving measure.)

There's a concept of "Elite Overproduction", that I think explains the phenomenon:

https://en.m.wikipedia.org/wiki/Elite_overproduction

This is how empires fall.
includes free shipping?
Monads are just function chaining worshiped in the holy language of category theory.

You have an array of state, and you can call a method on it that returns a new array of state, that you can call a method on, that returns a new array of state, etc. And that concept of doing state -> function call -> state is the holy Monad.

A JS pleb would write instead:

burrito = (new Tortilla()).addMeat(Chicken).addMissionBurritoIngredients().holdThe(Cheese)

No one would be confused about what was going on, and it would be basically the same thing.
type Burrito is a monad, because the functions >>= and returnBurrito are defined. Any type for which those two functions are defined is a monad.
gotcha! thanks for the clarification