skysight-inc/HackerNews huggingface dataset:
Updating some of my negative core beliefs. Years of Buddhist meditation only got me so far. But two months of this new technique, and I finally see a path to being able to program my emotional self like I program a computer. Here's how it works.

Step one. Identify the negative belief you want to change. This is the core belief. It is something you feel is true. For example, “I am a bad manager.”

Step two. Create a statement related to the belief that you believe is not true. This is the false statement. For example, “No employees Ive managed have thought I did anything right as a manager.”

Step three. This is the training step. You spend a few minutes following your breathe to quiet your mind. Then you think the false statement and watch the emotional reaction the mind has to it. The reaction is an aversion, a kind of disgust. Then, say the false statement and the core belief together. “No employees I’ve managed have thought I did anything right as a manager. I’m a bad manager.” Repay the false statement and core belief together again and again, watching how the mind rejects the false statement and that aversion feeling lingers as the core belief is thought.

Step four. Repeat the training step in daily sessions. During the session, repeated think the false belief and core belief. The session should last at least ten minutes. The daily sessions should be repeated for at least a week, and longer for more deeply held core beliefs. Over time, you come to reject the core belief just like you reject the false statement.

Here's why I think it works. There is a rational part of the mind in the prefrontal cortex. It is what we think with. But it is not where our beliefs are. We can rationalize our way to a new belief or to change a belief. Instead, beliefs are felt. And they’re felt in the limbic emotional part of the brain. The limbic system is mute and cannot think with words. The prefrontal cortex can’t directly talk to the limbic system with words. Instead, the prefrontal cortex must communicate with emotion. You have to train the limbic system to feel differently about a belief. You can’t use positive affirmations because they are not felt as strongly as aversion.
I meant there is no Clace implementation which uses the file system instead of the database. That would be required for a direct benchmark. For dev mode apps, Clace loads files from disk, but that dev mode has many differences from the prod mode
My boss was gushing over Arc and sent me an invite. However, the killer for me was requiring a sign up. Combined with being closed source, this set off alarms and was a hard pass.
If we can have this running locally on mobile phone that would be pretty cool. Imagine receiving a work document (for example, product requirement documents), and then this turning it into a podcast to play for me while I am driving. I think my productivity will be through the roof and I don't need to worry about compliance issues.
Discussions at the time:

(184 points, 2022, 139 comments) https://news.ycombinator.com/item?id=34104400

(703 points, 2022, 660 comments) https://news.ycombinator.com/item?id=34066965
It's also not really true.

Consider a problem like edit distance, which is solved using an n^2 dynamic program. What are the n separate problems there?

Sure, you're filling out a table with a nested loop, but that's a very mechanistic view. I don't believe that treating the n outer iterations as separate problems gives any real insight.
I'm a big fan of HSLuv and I've been looking for a way to generate 12 distinct colors for data visualization, so that small points in those colors against a black or dark blue background will be visually distinct to everyone including my red-green colorblind coworker.
I finally took an overnight train from Chicago to Pennsylvania to try it out.

Got an Amtrak Roomette. It cost a fortune (relative to flying.) Could not fall asleep at all due to the jerky motion.

Do not recommend.

I have no idea why anyone would prefer this to flying.
I’d love to hear the output if anyone has used this.
https://lingostories.org (not a business, just a side-project, entirely free)

I'm building a website with interactive stories (or story-based games), intended for language learners. The idea is to make stories with choices (using Ink script), including features you may expect from adventure games (e.g. inventory, choices that matter).

The text is written in simple language, it is then translated in many languages, and I generate audio files. This provides input for people learning a language, with multiple options to practice reading or listening.
I’m always looking out for digital book publishing systems. This article invites me to check out three books published using Pollen. It then asks two questions.

> Are they better than the last digital books you encountered?

Sadly, they aren’t. One lacks any navigation on the pages. The others have some navigation, but lack an accessible TOC on the page for context, something I have come to expect from digital books. Furthermore there is no way to search the contents of the book. This is a non-negotiable in my book. Pun intended. :)

Also missing, is any other format, such as PDF and ePub, which is also a deal-breaker for me, as I want my books to work for as wide an audience as possible.

> Would you like your next digital book to work like that?

No thanks. But the design is nice. I hope the system keeps improving.
I don't hate query planning, some people are better than me at writing algo and the database knows my data better than me.

However, what I hate is the lack of transparency (and I feel like this article tries to pin-point just this). When I execute a query locally I get a different plan vs staging vs prod. A plan than can also change depending on some parameters or load or size.

I don't care about understanding all the underlying optimizations, I just care that the query plan I saw is the same and is still the same in prod, and that I can be warned when it changes. PG does not return the hash of the query plan or metrics along the data, which is imo a mistake. With this you could track it in your favorite metrics store and be able to point when and why stuff are executing differently.
There isn’t road tax in the UK, only vehicle tax which is based on the about a vehicle pollutes. Additionally all of that tax across the UK goes to the central government, and none of it goes to the London Mayor. There have been attempts to have vehicle taxes collected on London based vehicles be allocated to the Mayor, but it’s always been soundly rejected by central government.

Fuel duty is also collected by central government, and none of it goes to the London mayor either.

The only taxes collected and managed by London are the Congestion charge and the ULEZ charge. Everything else is beyond the reach of the London mayor.
Conditional imports (e.g. depending on browser-version, browser-vs-server) is the big one. This does not inhibit the alleged static analysis goal at all, but the specification is pointlessly hostile to it. I would've expected the "import assertions" proposal to cover this obvious problem, but no, it's just another useless thing that will always have to be transpiled into nonexistence.

Transparent polyfills (or anything that really needs to be loaded "first") also don't work, since async means you can't specify the order to load things. This means that every single module you write has to explicitly mention which exact polyfill it's going to end up using (hope you don't accidentally skip one or specify a conflicting polyfill) ... or you just abandon modules and load your polyfills with a normal script (which means that now your source is a bastard mixture).

Lazy imports are technically possible via dynamic imports, but unnecessarily annoying and break in all sorts of places. Granted, the standardization of the "leaky browser abstraction" makes this pretty awful regardless.
Looks like we are in disagreement about who is misreading the table.
I've been (very) casually learning Japanese for a couple years, and almost every time I think I find something "weird" that Japanese does, I almost immediately think of a very similar example in English.

The alphabet is a pretty awesome invention (alphabet > kana-style syllabary > kanji-style logography) but English writing is at least as complex as JP writing, just in different dimensions.

JP's phonetics, for example, are dead simple compared to English's, but they do a good job making up for it by having a few thousand Kanji.
Previously (18 points, 2 days ago) https://news.ycombinator.com/item?id=41946853
From the article:

> Have a good mental model of what the optimizer can and cannot do.

Most DB query planner designers and implementers have little imagination, and their mental model of what optimizers can and cannot do is, well, extremely narrow-minded. There is huge unexplored space of what query planning can be (at least for analytic queries, and we think in columnar terms) - if we just stop insisting on thinking of DBMS operations as black boxes.
What exactly is it about supporting IE6 that makes it a security risk?
I only ever use a half dozen or so public Matrix rooms (I mostly use it for private chat) but my experience in those is nothing like you describe. Unsavory characters occasionally wander in, just as they do on every other public forum I've used, but they are shown to the door and the normal conversation carries on without them.

I wonder how someone must be using the platform, or how they're looking for rooms that might interest them, to get the impression that it's "mostly pedos and far right extremists or other weird anti social characters."
We are in the process of installing a 13 kwH system which is 31 panels at 430 watts with two Tesla power walls. Total cost (with snow guards) is just shy of 60k. The backup batteries are where this really shines. Our power provider had a blackout of 25 hours in April and if we were 6 blocks south, it was an entire week. The true cost of the system will be approximately half this after rebates and is more like 32k. The rebates are so good between Fed, State and the power company that we almost got the backup batteries for free.
> This points out several valid issues with Wikipedia

Are their issues really that valid?

> For example in 2012, a trustee of the Wikimedia Foundation UK used his position to place his PR client on Wikipedia's front page 17 times within a month. Wikipedia founder Jimmy Wales made extensive edits to the article about himself, removing mentions of co-founder Larry Sanger. In 2007, a prolific editor who claimed to be a graduate professor and was recruited by Wikipedia staff to the Arbitration Committee was revealed to be a 24-year-old college dropout. These are only a few examples

From their examples, it seems like the issue that spurred the development of Ibis was that a few individuals compromised a select set of articles.

They seem like nitpicks to me.

I think more motivation is needed to justify why to abandon Wikipedia. It will be no small undertaking for them to rebuild the world's largest and comprehensive knowledge repository.
When you already know what you want to have after the optimization, you could just write that code in the beginning.
Tbh the evidence in the literature on seed oils is actually overwhelmingly in their favour. Studies that find in the opposite direction are few and far between, comparatively.

So then we’re just left with “lots of people on the internet believe a thing to be true, surely there’s something in it.”

Hopefully I don’t need to come up with a counter example here, you can just see how poor an argument this is.
It's a really cool idea for an app. Pity that Google takes down the videos where Rossman talks about it.
That's not a solution.

It addresses the specific issue but does nothing to prevent future similar issues. A solution to a cold is not handing someone a tissue.

I like that these platforms are open to everyone but at the same time there are a lot of people who have no business participating. Being able to filter those people out is unfortunately a necessary tool to not get overloaded.

Worse, I find that due to this many open source maintainers and up being quick to close issues and say rtfm. I can't tell you how many times I've had this happen where in my opening issue I quote the fm and even include a reproducible test. It's also common to just close and say "not our problem".
You can download the Opus directly with -f 249 / 250 / 251 (~48kbps / ~80kbps / ~128 kbps respectively, but youtube don't always make them all available, where are -f 140 for the ~128kbps AAC (.m4a) is always available, and often the format code 139 (~48kbps) - the lower bitrates being adequate for most speech based content.
I agree with you about this piece of music versus other found pieces. It is a sophisticated, hauntingly beautiful waltz...and distinctively Chopin in its nuanced romanticism.
If anything I expect people owning investment properties to be the most negligent.
Show HN: JSONDetective – Instantly understand large JSON files without a schema
Built this as I came across a really interesting JSON file, but it had 1.9 million lines and no public documentation! Point it at your JSON file, it identifies patterns and shows you the actual structure so you can easily understand it.
The keyboards from all those G3/G4 era PowerBooks have some kind of glue that’s broken down and now smells terrible
When my parents couldn't help with college payments, I did worse because of stress and divided attention
I could be off base here, but I see federation as a way of ensuring that those with privileged access can't leverage control over the whole platform. If they try, others will block the parts which have been corrupted, and the rest will carry on.

If you're willing to win the hearts and minds of an army of pedantic nerds, it matters little whether you're on a federated platform or not: you're playing by the rules.

So my thinking was: Of the types of privileged access that might be used to sidestep the nerds, which of these does Ibis prevent? So far as I can tell, it's misbehaving server admins (of the type that Musk might be capable of pushing around) but not misbehaving ISP or CA employees (of the type that a government might be capable of pushing around).

If it's not actually a matter of who-are-the-bullies-and-what-are-their-capabilities? Then I'm sorry to have been distracting. It's just that I'd really like to use some sort of peer to peer assertion consensus/criticism engine which was more durable than the web. I was reacting to this not being that.
Could you take and upload a picture of your alarm clock? You have made it sound very intriguing.
Cartography of Genocide
Show HN: I made a site where you can upload any HTML file and get a webpage
It is a leaky abstraction, all abstractions are. I didn't find it to be much of a problem in practice.

Usually, if you don't get the optimization you wished for, it means that there is something you didn't account for. In C++, it may be exception processing, aliasing rules, etc... Had the compiler made the optimization you wished for, it wouldn't have been correct with regard to the specifications of the language, it may even hide a bug. The solution is then to write it in a way that is more explicit, to make the compiler understand that the edge case can never happen, which will then enable the optimization. It is not really an abstraction violation, more like a form of debugging.

If you really need to get low level, there is some point where you need to write assembly language, which is obviously not portable, but getting every last bit of performance is simply incompatible with portability.
My condo building used to have underfunded reserves because of the incompetence of accounting of older condo boards. After some significantt raising of fees by a more competent condo board, appears to be fixed now...
What exactly would you get rid of?

* Bin collections?

* Social care for the young and elderly?

* Street sweeping?

* General road, pavement and cycle infrastructure maintenance?

* Sports centres, libraries, schools?

Councils are already stretched thin. Last year was the largest increase in council taxes the UK has seen in decades, and councils are going bust left right and centre as pretty much all central funding was removed over the last 14 years. Do you honestly think that reducing every London councils budget by ~19% to provide free transit is going to result in a good outcome?
Have you experimented at all with NL Holdem, but heads up instead of 6-handed?
Yet within the French population, higher consumption of SFA is associated with higher CVD. So the French paradox doesn’t really seem to be any such thing.
That’s some very selective quoting there. Let’s do the full thing:

> Heap flattening must maintain the integrity of objects. For example, the flattened data must be small enough to read and write atomically, or else it may become corrupted. On common platforms, "small enough" may mean as few as 64 bits, including the null flag. So while many small value classes can be flattened, classes that declare, say, 2 int fields or a double field, might have to be encoded as ordinary heap objects.

And maybe the end of the next paragraph is even more relevant:

> In the future, 128-bit flattened encodings should be possible on platforms that support atomic reads and writes of that size. And the Null-Restricted Value Types JEP will enable heap flattening for even larger value classes in use cases that are willing to opt out of atomicity guarantees.
Building cloud agnostic platform to run batch/HPC workloads. Can even connect your own compute and run jobs.

Launching next month @ https://daemonstack.com/
Truly the power of Cloudflare workers
Federation is the open source answer to microservices.

Every time I see a new decentralized website project I feel it would be 10 times better if it was just centralized and open source like mediawiki or phpbb.
I'm building a custom NC manufacturing robot from scratch.

I was unhappy with availability, pricing, and business model (SaaS lock-in) of the existing hardware/software solutions. But to my delight, I noticed that you just need better amplifiers to use 3D printer mainboards for driving industrial stepper motors. Everything is controlled with Gcode, which is just text. And sensors can send back logging messages over the same USB connection.

That means the control software can be just a python script with a little state machine inside :)
Depends how old... Highrises> 100 years old (like my condo building, which spent it's first 90-some years as an office building) were often way overbuilt.
How I Stopped Worrying and Loved the Bomb – why math without infinity is 4 u
This should have been my first post here. It tells the story of this mathematical invention - an invention that still awaits further exploration and confirmation - and its rationale. It's not an invention for the sake of knowledge. However, cringe that may sound, and I don't give a fuck about this wonderful affect that disallows for engaging with non-ironic ideas, it is about truth. And ethics. It explains the almost impossible as plausible and shows that it just might shake things up to such an extent that our collective possibility space will allow for new futures to become thinkable. It's impertinent but honest and good-willed.
'Open banking' rules will put your financial data back where it belongs
I was also taken in by this kind of stuff, and you’ve hit the nail on the head here.
I took a look at the book a while ago, and I like how it treats abstraction as its guiding theme. For my project Practal (https://practal.com), I've recently pivoted to a new tagline which now includes "Designing with Abstractions". And I think that points to how to resolve the dilemma you point out between pure and applied: we soon will not have to decide between pure and applied mathematics. Designing (≈ applied math) will be done the most efficient way by finding and using the right abstractions (≈ pure math).
Finishing my basement, one weekend at a time.

Maintain your basement and its waterproofing kids! Otherwise the next owner will hate you.
Thank you, I'll add these to my reading list!
(your example becomes a lot easier to read on a computer instead of a phone) but i'd also like to thank you for patiently answering all the questions (esp here: https://news.ycombinator.com/item?id=41961489 and https://news.ycombinator.com/item?id=41964500 (unfortunately the latter comment has been flagged. turn on showdead to read it)).

but what bothers me a bit is that this example still uses custom javascript code.

i tried to find and answer but essentially what appears to be missing is the ability to access js objects from wasm. to access the document object it looks like i need a wrapper function in js:

jsdocument(prop, arg){
document[prop](arg)
}

so far so good, i can import this jsdocument() function and use it to all any property on the document object, but if document[fun](arg) returns another DOM object, then what?

maybe more elaborate:

callDOMobj(prop, arg, prop2, arg2){
document[prop](arg)[prop2](arg2)
}

i can call this function with the arguments ("getElementById", "foo", "append", "<div>more foo</div>") in any WASM language and it will result in calling document.getElementById("foo").append("<div>more foo</div>"); which allows some basic DOM manipulation already. but then i want to continue with that object so maybe i can do this:

getDOMobj(prop, arg){
var len = objlist.push(document[prop](arg))
return len-1;
}

callDOMobj(pos, prop, arg){
objlist[pos]["prop"](arg)
}

can you see what i am getting at here? building up some kind of API that allows me to access and manipulate any DOM object via a set of functions that i can import into WASM to work around the fact that i can't access document and other objects directly. it looks like this is similar to this answer here: https://stackoverflow.com/a/53958939

solving this problem is what i mean when i ask for direct access to the DOM. i believe such an interface should be written only once so that everyone can use it without having to reinvent it like it appears to be necessary at the moment.
https://docs.racket-lang.org/pollen/fourth-tutorial.html#(pa...
Nope! I threw this up in the time I had just to see what it'd look like. I think it'd be a lot of fun to try different formats or different prompts (e.g. eliciting CoT before making a decision).

This repo is sort of a companion piece to https://github.com/sgoedecke/fish-tank, which is a more physics-based 2d simulation. Interestingly, 4o-mini absolutely cleans up in the 2d space but doesn't win all the time in poker.