skysight-inc/HackerNews huggingface dataset:
> btrfs Encryption Y

btrfs doesn't have a built-in encryption.

> ZFS Encryption Y

I cannot find the discussion right now but I remember reading that they were considering a warning when enabling encryption because it was not really stable and people were running into crashes.

https://github.com/openzfs/zfs/issues?q=is%3Aissue+label%3A%...
> the way it was made callable is super wonky.

why do you say it's wonky? it's just

sys.modules[__name__] = wat

According to the official python documentation [0] of sys.modules:

> This is a dictionary that maps module names to modules which have already been loaded. This can be manipulated to force reloading of modules and other tricks.

Thus, the modules dictionary is being used as intended, and it has the desired effect. Nothing wonky about that.

Of course, a __call__ method would be better because you could still keep the other functions inside the module. But for a single-function import like "wat" it seems quite natural and sane.

[0] https://docs.python.org/fr/3/library/sys.html
Most of the time I also enjoy pretty dense UIs, as long as I don’t have a significant risk of misclicking on things that are too small.

That said, I rather liked what Thunderbird and JetBrains did - let the user choose not only the fonts and stuff like that, but also the UI density that they want.
I can't ask him what he meant as he died almost 20 years ago, but I believe he was speaking emotionally as a reaction to being attacked as a kid as well as some neighbours helping the nazis by turning over some people from his family that were trying to hide. Of course the Nazis are to blame for the industrialised systematic murder they introduced to Europe (not only again Jews) and I never claimed Poland as a nation was as bad as the Third Reich was (and either way I don't condemn people for the sins of their ancestors, especially those that were done before they were even born).
Yes prices are problematic. The above mentioned 20 kilometers to work is a 5 euro bus ticket. A bus full of people should not cost 25 cents per kilometer per person. It's slightly cheaper than my car but it should be a lot cheaper because so many people share one vehicle.
a typing of any cannot be unsound because it is always correct, narrowing any can be unsound.
Ask HN: Exploratory ways to teach math up to high school?
I am interested in interesting ways of exploring math concepts non-algebraically, and I was hoping the HN community could point me to interesting games, simulations, physical experiments etc.

Most adults that I come across cannot define a logarithm, why π shows up in so many places. They are mystified by complex numbers, calculus etc. I would like some interesting approaches that work with adults (as remedial education) and with 7th grade kids and higher.

I have had a modest degree of success teaching exploration using Scratch. For example, the kids were taught how to measure areas of arbitrary shapes by scanning from top to bottom, left to right and counting pixels. This not only gives an intuition for integral calculus (without saying it is so), but also the relief that there is an alternate way to get the job done without having to remember a formula. Whatever reduces the resistance to math, I say.
Didn’t know that existed. It’s a bit of a half assed version of half of type classes but it’s an improvement that this is at least available.

Can you also implement interfaces on types you didn’t define?
It's almost as if showing young people lots of movies where people murder other people who move weirdly (the zombies) might lead to kids imitating this behaviour.

And I'm pretty sure this perfectly correlates with poverty. Both parents working means the kids are at home without supervision and with unlimited access to the TV and streaming services. In my childhood, it was still pretty easy to see that zombies were a movie invention, but with modern CGI, I can't tell the difference anymore.
Exactly. Provisioning a completely different set of disks when running out of capacity might be fine for a company but not for home office.
I used pods for years after lots of clogged machines with powder.

Now I use powder again, cleans clothes so much better and haven’t experienced the same clogging as years ago.

I use white vinegar instead of fabric softener as I have sensitive skin, wash sheets on 90C which cleans the machine, and still use pods on short washes.
A Comparative Overview of Jsonnet and KCL
Only slightly more general. It only works for games that are zero-sum, deterministic, have no hidden information, and discrete game state and moves. Other examples include connect-4.
I don't know about you but I'm still not finding out about them, they have to compete with more established businesses for ad space.

I have gotten precisely one piece of marketing communication that had a positive value in my entire life and it was from an online restaurant supplier. One. Solitary. Closer to forty than I am thirty.

I just don't think the value proposition that you're talking about actually exists.
It would be amazing if you could add notes or draw on the canvas in the unfilled spots but this is a pretty cool idea
Apparently you can notate "fxg6" as "fxg6 e.p.", so enforcing that would fix this?
Yes, me too. I remember this very well. It was especially important in the context of the time.
The main difficulty to scaling Alpha Proof is finding theorems to train it with. AlphaGo didn't have that problem because it could generate it's own data.
GP is in response to

> All of these scenarios illustrate rule 2a. Rule 2b is in fact irrelevant for chess, because successful moves always commute.

in the article.
I work in this space (pretraining LLMs). It looks fancier than it really is. It does involve wrangling huge ymls and writing regular expressions at scale (ok I am oversimplifying a bit). I should be excited (and grateful) that I get to work on these things but shoddy tooling takes the joy out of work.
For me the real test is whether or not someone is trying to persuade other human beings towards a certain action. An action that is favourable for you.

This can be monetary of course. But this could also be ballot vote on election day. This could be a change in behaviour of people to drive less cars, but take the train instead. Or convince people that advertising should be banned for large corporates.

Marketing is the art and science of achieving behavioural changes to your benefit.
Stopped here to say L-Theanine as well. It's part of my morning routine for years now and without it coffee turns literal poison for my nerves.
Ешь ананасы, рябчиков жуй,
день твой последний приходит, буржуй.

Too bad Mayakovsky's been metabolically challenged for nearly a century, otherwise we could tell him that after he accidentally prints a binary file and his poetry starts looking like this:

https://en.wikipedia.org/wiki/Vladimir_Mayakovsky#/media/Fil...

either an "stty onlcr" or a "tset reset" will probably work wonders.

[EDIT: (if anything is voka or tea) suggests that anything may include tea with vodka? (locally a "finished" coffee includes schnapps) Or was that an `xor`?]
TylerForge UI Lib v3
OT: In the States we had a guy [named "Crush"] going around doing full head-on collisions between trains for ~50 years, just for the show.

For his first and most famous performance, Crash at Crush[1], he pretty much built a whole town, drilled two wells, and wound up having to pay huge amounts.

But after that it was all fun and games till the great depression "crushed" him.

https://en.wikipedia.org/wiki/Crash_at_CrushHis first and most famous
And then LoL: https://letoverlambda.com/
I started to read the book years ago but it was too wild for me. I should give it another try. One of the so many things I have to read.
French high speed line rail network is under attack
One more trick: They look for both proofs and disproofs. So even if they failed the formalization and created a "wrong" theorem, it's just another task.
Why do they use trains to move the rods around?

Are there actually places in Britain where it is not possible to move them by shipping.

It seems like a high cost to introduce a new way of transportation when one (safe-ish) method is already available.
Use Upwork or Toptal?

There is a higher bar for developers on Upwork or Toptal but they are very expensive.

But since you want great developers (ideally senior developers) and have the VC funding to do so, this shouldn't be a problem.
Have you tried pypy? Might be interesting comparison.
Well, if you try to run your own business of any type, you suddenly realize why there's need for marketing. Things don't sell themselves. Nobody beats a path to your door even with the best of mousetraps.
The link between zombie movies and people stabbing each other with ""zombie knives"" (which I've never seen featured in zombie movies...) seems extremely dubious. I don't think these stabbings are caused by people acting out things they saw in movies.
Atlassian recently announced their AI meta search engine, Rovo, which integrates with 3rd party applications like MS SharePoint, Figma, and others while respecting externally configured permissions. Technically, how do they manage to achieve this? Emulating the permission systems of these applications seems overly complex due to the need to replicate logic and keep up with permission updates. Would a more universal approach involve impersonating the requesting user to verify if the applications allow access to a given resource? I'm curious about the technical implementation details and the challenges involved. Any insights or thoughts?
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7234816/

Also, private observation : Poland was relatively safe country during communist rule, although everyone was very poor. Then '90s happened, income disparity went through the roof, unemployment skyrocketed, and you could be greeted on the street by a group of young gentlemen asking you for your possessions, not to mention extreme gang violence and fights between hooligans.
Poster above you (in my hnreader) points out Seattle is pretty ad free, so maybe its not just a Swiss (noted as 'not in EU') thing.
If 'lazy policy-making' improves quality of life, why would you be so against it?
Especially in Switzerland, where voting isn't so much about screaming headlines, but more about maintaining/ improving said qol.
The fact that that "next" occupier was also the initial co-occupier and massacred over 20,000 people from the same poll/social class the same resistance group was mainly composed from (army officers/intelligentsia/landowners/>=middle class in general and their associates) at very beginning of the war kind of left very few options.

Also the whole thing about letting them be massacred by the nazis during Warsaw Uprising without moving a finger...

Any type of "reconciliation" was pretty much inconceivable (not something the soviets were ever interested in the first place anyway).
Yes I sort of skip-read a lot of it after that.
You don't have to get rid of files; while the Smalltalk image was great and offer some advantages, there has been Smalltalks that worked on files and Lisp showed that you can have still have a working image with files.

> navigation to/from callers was not possible in Smalltalk

You can navigate implementations and references to symbols, which mostly work like how unannotated dynamic languages (like Ruby, Python) would work.

There would be false positives; but it isn't as bad as it sounds unless you look up common symbols like `#value` and `#value:`.

In some Smalltalk environments and some extensions, you could narrow them by scope, like look up references to this symbol within that package. I think Dolphin did that.
Look into "Row types" and how PureScript, Haskell, and Elm (to a limited extent) do it.

'{foo :: Int | bar} is a record with a known property 'foo' and some unspecified properties 'bar'. You cannot pass a `{foo :: Int, bar :: Int}` into a function that expects `{foo :: Int}`.

A function that accepts any record with a field foo, changes foo, keeping other properties intact has the type

{foo :: Int | bar} -> {foo :: Int | bar}
Yeah kind of. I have worked with LabView and liked the flowchart UI for handling lab instruments, but for somewhat complex algorithms it got unwieldy really fast.

I have the feeling LabView is a good tool for designing control panels and visual tools in general ("front-end"). It is less suited for implementing back-end algorithms. I guess I wish for a similar tool which can also handle the back-end (in the context of my data processing job).

The problem is that I don't know myself what UI I would actually want for a "canvas-based editor". Some mixture between a visual flowchart and being able to edit code in each box? I'm obviously not the first person to think about it and it seems to be a non-trivial problem.
This looks just like "programming with english" that comes up every few years.
I'd take all of those as receivers if they are reacting to a message being sent.

To give another example in a game engine I recently worked on we sent messages between game entities and the sending entity could target itself directly and indirectly with no problems and a common pattern to keep components of the entity decoupled was to do just that.

In some OOP languages the environment and everything else are all objects. I think Smalltalk itself works that way. Which reflects this way of thinking.
But that was not the case for btrfs.
> this surely contributed to the decision

I find it extremely hard to believe that someone would personally want to see more ads.

Do you believe physical advertisements represent that some sort of specific political system is in place?
Why is that the case? Are there no good open source alternatives to these tools?
How are you going to expose the new capabilities through protocols that don't support them?
I appreciate the empathy. Women are unfortunately not mentioned in the article which clearly headlines males, not females.

And I like your optimism about the trickle down benefits. Again I find myself believing that to be wishful thinking.
Except employees do in fact benefit from innovations and improvements, and most inventions and innovations of the past 100 years come from capitalist, not socialist, countries. To the contrary, soviet orgs paid set awards for "rationalizing suggestions", and without the market value control 99% of them were of course bullshit.
That’s not even remotely true.

TypeScript is a direct superset of JavaScript. Any valid JS is a valid TypeScript.

If Kotlin is what TS to JS, then so is Groovy, Scala, Clojure and other JVM languages.
If an investment into a work cooperative improves the life of the members, it does serve these stated goals.
Yes - you can submit a tour request, offer, get disclosures analyzed, and do market analysis all with a couple clicks.

Which part are you curious about?
Well, ads obviously haven't worked...
Presenting this just as "translating into formal language" omits important information.

Lean isn't just a formal language, it is also a theorem prover, Could the IMO participants use the nlinarith tactic? Could they use other tactics?

Of course not, they had to show their work!

Could they have mathematicians translate the problem statements into the formal language for them?

Of course not, they had to do it themselves. In "How to solve it" Polya stresses multiple times that formalizing the initial question is an important part of the process.

Then, the actual computational resources expressed in time are meaningless if one has a massive compute cloud.

I'm a bit dissatisfied with the presentation, same as with the AlphaZero comparison to an obsolete Stockfish version that has been debunked multiple times.
People maybe ... went outside ... back then?
The article specifically refers to statistics about how people commute to work.
Not EU, and a direct democracy
My mathematician friend said problem 5 (I think? With the monsters) seems hard to formulate, so I spent 15 minutes formulating it in pseudo-haskell.

Then he gave me a huge hint to the solution, after which it only took me a couple of hours to solve.

(Formalizing the solution is of course the hardest part, and might serve as a good masters dissertation I think)
São Paulo city banned them around 2008. The entire Brazil followed within a decade.
It is an LLM combined with a symbolic deduction engine.
Give me convenience or give me death...
free ross
Yeah I was intentionally not talking about OOP but about messaging because I think the concept quite obviously transcends the programming paradigm and I often use it as you suggest.

That said one way of processing messages is to relate the message name to a method name at runtime and that is quite successful which is where I think the stronger version of that linking comes from in other languages that have static binding. It's still the same messaging concept but the routing is resolved at compile time which has tradeoffs.
Most in the ad game would see it as claiming behavioural changes to the benefit of clients in exchange for cash and reputation.

Marketing is as much about selling a vision to a client as it is about moving the public.

There are plenty of pointless rebranding campaigns.
> Usually buildings have private property owners. They agree to putting a bill board on their wall or they don’t.

And yet if I agree to have someone stand on my property shouting insults at passers-by I'll get a visit from the police soon enough. This issue isn't as black and white as you make it out to be. Just because the owner of the building the billboard is attached to agrees to have it there doesn't mean no one else is affected.

There's already limits to what you can put on a billboard. Banning billboards isn't some radical new category of thing. it's simply moving that threshold down to "you can put nothing on billboards"
https://en.wikipedia.org/wiki/Katyn_massacre

I don't think there was any going back from this...

The core of the Polish Home Army was made up of people belonging to the same social groups and their relatives or associates.

By 43-44 there were even a few cases of a limited truce or even some minor cooperation between the Germans and the Polish resistance since the Soviets turned on them immediately after entering (former) Polish territory in the east.
There are only two competitors to bcachefs: btrfs and zfs. So having a third player in this space is a good thing, especially since a lot of people (in my opinion for good reason) do not trust btrfs meaning there is only really zfs.
Sometimes I use LLMs to find vocabulary/definitions in a foreign language.

Usually online translators like translate.google.com and papago.naver.com work 99% of the time. However, for that remaining 1% Bing Copilot has come in clutch.

The LLM has the advantage of being able to query about a specific context. Of course, I always double-check the answers.

Here is a specific query I did recently:

> 영돈, in terms of spending money in korean to english

> The Korean term "용돈" translates to "pocket money" or "spending money" in English¹. It refers to money that individuals can use freely without any specific purpose, often given by parents to their children⁴. So, whether you're saving up for a treat or just need some extra cash, "용돈" has got you covered!

(I could have sworn the original Copilot answer repeated the incorrect "영돈" in its answer, but I found the correct "용돈" by looking up "spending money" or "pocket money" in the online translators.)
Interesting, some notes:

- obsidian has similar feature called "Canvas", perhaps look at their work flow.

- For me this is uselles as a standalone tool. I need it as Idea plugin.

- creating layouts is the part I hate. Perhaps some AI that takes Git patches, or bug fixes and creates layout based on that.

- sharing layouts needs to be super easy

- integrate Git history as another dimensions. Diff and blame N notations in editor.

- there are data (git commits) that you can use to train AI.

- integrate debuging as another dimension

- integrate data from profiler...
"A number of IMO participants have gone on to become notable mathematicians. The following IMO participants have either received a Fields Medal, an Abel Prize, a Wolf Prize or a Clay Research Award, awards which recognise groundbreaking research in mathematics; a European Mathematical Society Prize, an award which recognizes young researchers; or one of the American Mathematical Society's awards (a Blumenthal Award in Pure Mathematics, Bôcher Memorial Prize in Analysis, Cole Prize in Algebra, Cole Prize in Number Theory, Fulkerson Prize in Discrete Mathematics, Steele Prize in Mathematics, or Veblen Prize in Geometry and Topology) recognizing research in specific mathematical fields. Grigori Perelman proved the Poincaré conjecture (one of the seven Millennium Prize Problems), and Yuri Matiyasevich gave a negative solution of Hilbert's tenth problem."

[...]

"IMO medalists have also gone on to become notable computer scientists. The following IMO medalists have received a Nevanlinna Prize, a Knuth Prize, or a Gödel Prize; these awards recognise research in theoretical computer science."

https://en.wikipedia.org/wiki/List_of_International_Mathemat...
I guess it'd be harder to retrieve it from the seabed if there was an accident than from a train line, as you can always drive / build cranes to places on land. I doubt it'd rust through any time soon in the sea, but I'd imagine it would have been even more likely to draw environmental protest.
ZFS online deduplication is not comparable with on-demand dedup offered btrfs and xfs and is prohibitively expensive for many workloads.

The new block cloning still had data corruption bugs quite recently.
A product which needs help beyond its own merits to make a sale likely doesn't meet most people's definition of quality.

Genuinely fantastic products spread like wildfire on their own, without paid promotion.

I'd love to live in a world where there's no advertising and so therefore the only products available have to be genuinely fantastic.

I can't see a downside - just as many products will still be needed for just as many people, so it shouldn't affect the economy negatively.

What would happen is we would evolve faster and have more safety, reliability, productivity etc. The lack of useless junk polluting the planet would be yet another positive.

Advertising is a net negative on human evolution.
> One of interesting things from modern perspective is that these machines didn't have synchronous clocks, but cycles were timed by RC delay circuits which were tuned differently for various groups of instructions.

Between this and the GA144 I wonder if clockless architectures aren't an under-explored area, since they seem to be able to achieve a lot of performance per watt and per gate if done right
I agree with this. Why would I need to own a car when I'm going to the office once a week?
Show HN: AI for News
OK. I see "AGI" as a buzzword and current ML trend as exploitation of creative works that profits big tech. They will always have bigger computers and get more out of what we create increasing wealth gap, unless we stop it
> That’s right, this manufacturing company will become a unicorn this year—one of only 6,000 companies in the world earning more than $1 billion in revenue.

This is not what "unicorn" means. I do not think this author knows much about what they are writing about.
Some “Europeans” thrived after the plague since there was more space for them. Imagine all the farm plots that were freed up.

Now we get to say: look at all this surplus old-age wisdom that we are about to get. In a culture which stows away the old and has no appreciation for wisdom.
Remembering Lewis Lapham
Sure it's perhaps not companies having special privilege, but I think it's equally awful to give "entities with lots of money" special privileges in the public space. Entities with lots of money are the minority, why should they get to dictate what public space looks like for the majority?

If it came to a honest vote on whether people would like billboards or no billboards I think the result is obvious.
Pretty small.