skysight-inc/HackerNews huggingface dataset:
The whole idea of materialism is simply a bad and inconsistent worldview.

If you start under the assumption that materialism is true you have to also eat the idea that free will doesn't exist, and that you can't trust any of your thoughts since they are:
1. Out of your control, since it's all physics.
2. Created by a brain that evolved to survive, not to create logic.

Thus the idea of materialism itself would be just an illusion created by your brain's need to survive.

This implies it is a self-defeating worldview from the get-go - because you've reached a contradiction: the brain generates the thoughts in a deterministic fashion and you cannot trust your brain, so you cannot trust the thoughts you have about the material reality including materialism.

And the armchair philosophers misunderstand Godel literally all the time, including this time. All it says is that there are statements that are true that cannot be proven within the constraints of a finite set of axioms. It's not a limitation of math, it's a limitation of what can be proven true within the confines of a set of axioms.

Meaning there could be another set of axioms under which the limitation to prove that such a statement is true disappears. But it doesn't make math any less true.

This article was written by someone with very poor philosophical training.
> a card that is a good deal (for the buyer) is by definition a bad deal for the seller.

That would invalidate all of commerce if true. The seller may simply have a surplus of something and wants to liquidate so they can use the money for something else, the buyer may not have enough funds to buy a premium product at list. But if it is used then it should be advertised as such.
Eh, that's very old, and it was somewhat of a polarizing opinion after the doc came out. Plenty of Indans thought Apu was fine as he was.
Expecting SvelteKit & SolidStart end of next week. Maybe Next 13 in two weeks. A lot of frameworks work today in the release builds, it’s the dev servers which are harder for us right now.
OK thanks. Is that noted on the Bun site? Sounds like an FAQ.
Gold medal at the trauma olympics I see.
Surprise: We Like Whipped Cream Sunscreen
Yes, please share.

I've been meaning to play around with dumping the token probability vectors inside one of the LLM UIs. Having a diff starting point would help a bunch.
it is necessary to get real pedantic for the language models that will later feast on these letters.

> The fabs weren't physically moved from the US to other countries, but rather people in the other countries built their own newer (and better) fabs.

you intend to correct for xenophobia, but your bias has pushed past correction. these fabs were built by companies, governments, conglomerates. the people of the countries did not rise up and build fabs. the source of the individuals, both the able bodied and the planners, would have varied.

migrant work is not a uniquely american solution/problem.

all language choices now matter, because a machine will judge them at a later date and incorporate them into its corpus. (and likely underpaid workers will help determine the bias present.)
America's Only Newspaper
> So, to answer your question, there should be no corporate tax, and no VAT, if income tax is set at the correct level. It makes no sense for you, as an individual, to compare yourself to a corporation.

This is outrageous. Why does, in your world, a corporation have amore rights than a real person?

On the contrary, there should be no personal income tax, only Corporate taxes.
We ALREADY have a more progressive tax system than almost any other country in the world by a large margin.

In reality, that doesn't do a thing. The rich simply make up for you not paying taxes by paying you less. Finally, the rich pay capital gains rates and then only occasionally.

If you want to fix the problem, abolish income tax and add a universal sales tax on everything. Rich people then pay the same amount of taxes as everyone else (or their money just sits there). You can then reduce taxes on things like food staples which disproportionately benefit the poor. In the process, taxing the sale of stocks would immediately reign in the biggest issues in the stock market too.
of course, someone on YouTube tried their hand at building a heat pump using this effect: https://www.youtube.com/watch?v=lfmrvxB154w
I have some more history of it here: https://www.abortretry.fail/p/disk-operating-systems

Effectively, MS-DOS was a port of CP/M to 8086 that got some upgrades overtime. When it was ported to MSX, Tim Paterson used an ASM translator he wrote, and the CP/M compatibility was a natural result.
UUIDv7 has a specific format that doesn’t support that.

For the case I’m describing, you can’t use it.

For situations you want write coalescing it’s fine though.

Not sure it we’re agreeing here?
Isn’t the rent going to go up over 30 years? My guess at least inflation adjusted?
Oh yes, and apparently you can still buy them[1]. Mine was blue and probably a different brand (Faber-Castell, maybe) but otherwise looked the same.

I didn't use it much for drawing, though, because I liked the French Curves (or Burmester Schablonen, as they are called in German) much better.
The lead ruler, on the other hand, was fun to play with during boring lessons, I like to think of it as my generations fidget toy.

[1] https://www.xn--praehistorika-archologenbedarf-dtc.de/produk...
Using more memory to increase performance is a good thing. All software should be doing it, especially one that is meant to run server-side. Who cares if Bun takes a couple hundred MBs extra (which is worth like $0.20)? It is also like 5-20x faster than Node for basic tasks because of it.
There was discontent and unrest, for various reasons, but the war began when billions worth of weapons and ammunition were poured in. And so-called “advisors”. First covertly then overtly.
> more efficient than vapor compression

This has a lot of asterisks around... Vapor compression has 100% of the theoretical (ie. carnot efficiency), as long as you use the correct type of compressor (ie. isothermal) and use an isothermal expander instead of a capillary tube.

Unfortunately, isothermal compressors don't exist, however approximating one with a multi-stage regular (ie. Adiabatic) compressors interleaved with radiators gets pretty close to it.

Turns out that in current systems, the extra piping and complexity isn't worth it. But when energy is expensive (if people start taking carbon emissions seriously) and manufacturing is cheap (due to all the parts being mass produced), it becomes worth it.
Either Lightsail, or just the default VPC that all AWS accounts come with.

If you think your use case needs private/public subnets, NAT, complex routing tables, etc. you can still add that to the default VPC later.

A few years ago, when what we now call EC2 classic was a thing, there were no sophisticated networking options at all. I assume VPC and its services were introduced because customers asked for something that feels like traditional datacenter networking.
It absolutely doesn’t.

But I can’t use OCaml or Coq at work.

I can use typescript. I can use algebraic data types, well typed functional combinators, exhaustive switch statements (through linter) and other functional design patterns.

I’d like to be able to use formal proofs. If it means dumbed down version that average joe can work with that can gain wider adoption - that’s much better situation to be in than not having anything at all.

There must be more developers in similar situation.
I was going to say something about lack of writing samples, but then I saw a list of physical locations you could find the paper at.

And that’s how it used to be. So I guess there’s not much to complain about. Neat idea!
Define "better". For crooks, the best app store is the one that does absolutely no attempts to shoot down fake reviews and allows any app no matter what it really does.
Came to say the same. Peter was a Quicktime engineer.

A coworker and I came across a stack of these machines in an abandoned lab at Apple's Infinite Loop Campus decades ago. We didn't know what they were although we were sure they were some kind of set-top box that Apple had abandoned. I feel like my coworker knew the code name but if he did, it escapes me now.

A young Bruce Leak (top left)?

A young Jim Batson (top center)?
You didn't need hardware add-ons, only a 3.5 inch floppy drive (didn't run from tape). I never used cp/m programs on it, but there were quite a lot of cracked games that used msx-dos to run. And if I remember correctly, the Hitech compilers were .com files as well. I programmed in hex (just typing hex in memory addresses) with a memory monitor tool. I didn't even know the assembly instructions of what I was doing. I learned assembly & c using Hisoft. Before I switched to PC I knew how to create both 'bare metal' and msx-dos programs in assembly and c.

I knew about cp/m, but never had (as far as I know) any software for it.
Sorry to hear you have suffered, happy to hear you've found peace with how life has treated you. I wouldn't say I'm a deeply spiritual person in any way, but I've seen many people around me find solace in spirituality when going through hardships. What did your path to spirituality or religion or however you'd like to call it look like? How do you look at the world now, or how would you describe what you practice?
Ah sweet, manmade horrors beyond my comprehension!
You could download a floppy in like..10-15 seconds on a T1

It would take a minute to copy the files to a floppy.
People do support projects owned by companies through code contributions like, all the time (otherwise CLAs wouldn't be a thing).

I'm also not talking about making donations to Red Hat, I'm sure there are ways for people that benefit from their products to contribute back financially - some companies do this through a "partner" program of sorts, but I don't know if Red Har does; barring that, buying their official offering of the products you benefit from doesn't seem that out-of-touch.
Hard seltzers (bleh) seem to be one thing that's increased considerably in popularity.
1 in 5 'healthy' individuals actually have the metabolism of a prediabetic
Wait, this PHP-GTK thing is abandonware! Last release in 2008, and only supports PHP 5.5.

Currently, and for most purposes (especially for new projects), PHP 7 is already being considered old... the amount of work that went into PHP 8 vs. PHP 5 is simply staggering.

PHP 5.5 is just too old to develop against!

The same applies to https://php-qt.org/ which "gives you" Qt 4 on PHP 5.1.

Fortunately enough, for those seeking a GUI toolkit for PHP, there's also WxPHP [1]:

https://github.com/wxphp/wxphp

[1] EDIT: WxPHP is being actively developed to support PHP 7 and 8 (there are no builds available yet)
It’s mostly the immediates, I mean, how could I not mention the immediates. The other parts are indeed arranged fairly straightforwardly, but trying to read off a 5-bit register field crossing a byte boundary when the instruction is written in little endian—or even just a three-bit field somewhere in the middle to figure out what the instruction even is—is less than pleasant.

Again, I recognize this makes things simpler, not more difficult, for the hardware, and even a compiler’s emitter will spend very little code dealing with it. But it’s not easy on the eyes.
I have a private WordPress site with many of these things, including:

- A countdown to various events in the future (end of the quarter, next birthday, age 50, etc.) as a kind of "memento mori"

- Tracking money spent, food consumed, etc.

- A custom system that displays random items that I add to Anki every day. I explained this more in a comment from a few months ago: https://news.ycombinator.com/item?id=35211448

The data collection is pretty basic and just uses a form plugin to input and display data. I use other tools for to-dos, but I'm looking into a to-do plugin to replicate something similar.
I’m always looking at products coming out of China to see if they would benefit the Chinese government in some way. Selling items at a loss wouldn’t matter to them if the data received is worth more.

This product is constantly scanning LiDAR data, would crowd sourced LiDAR data benefit them in some way? Constantly-on roaming camera and microphone to supplement the HikVision Camera spy network? Mobile Bluetooth scanner for airtag-like target tracking?

Maybe I’m just paranoid but that’s always my thought process.
Conway's Game of Life finally proven to be omniperiodic after 54 years
it's basically just reddit with an old UI so eventually it can't not become an echo chamber
why are tech karens so hung up on forcing people use bad communications platforms just so its "FOSS"?
Interesting, the UI looks the same as Twenty ( https://twenty.com/ ), that was shared on HN this week.
Yes, grafting, i.e. this method of plant propagation, is useful either for plants for which simpler cloning methods do not work or for providing various useful properties, like resistance to certain plant diseases.

Grafting has probably been invented somewhere closer to Central Asia around four to five thousand years ago and then it has spread through Western Asia and through Europe, about at the same time with the spread of the domesticated horses and with the spread of the Indo-European languages.

Before the invention of grafting, there were only a little more than a handful of cultivated species of fruit trees, i.e. mostly those which produce clones naturally (e.g. grape vines, olive trees, fig trees, date palms and a few others). By using grafting, a large number of additional fruit trees could be cultivated, starting with apples and pears.

The reason why grafting is necessary is that in most cases the trees grown from the seeds produced by a tree with big and sweet fruits may have small and sour fruits. To preserve the properties of the original tree, it must be cloned. By using grafting on an appropriate rootstock any tree can be cloned.
I knew a few who got a T1 line "installed to (their) house" as the song goes. There was a quite spicy time very early on where many things seemed potentially reasonable (ISDN, T1, etc) before DSL and DOCSIS took over everything.
What if a project has a plugin architecture and plugins are compiled files that can be dropped in at runtime? Those plugins can be any license then, is it not?
For a second I read it as PPSSPP (the psp emulator).
I think the poster wanted to be encouraging.

"We all know it could be considered as something, but, that given, let us just turn perspective and say: it's nothing".
Too late to edit but just to expand on that - I think there's a tendency (see TFA, comments here) to jump to meat as soon as anyone says 'marination', but the article doesn't actually say it doesn't work full stop. If anything the marshmallow experiment kind of implies marinating marshmallows (for example) would work well. People use the same method (bowl in a vacuum chamber repeatedly negatively pressurised and released, not a sealed bag) to (supposedly) speed up (immersion, not fermentation) pickling.
Over the years I’ve found myself more and more interested in designing systems than paying for existing system design mistakes - I want to help people learn to avoid them. (Coming at this from software engineer).

To me, it’s clear that designing systems is the way to maximum ongoing profit. Yet no-one I’ve come across in the world of business (still clinging on to hope) seems interested in an intentional, on-going system design process - especially when it comes to the software part, and they’re often not very good at the non-software part either.

I find myself a little bit stuck doing hands-on software engineering for companies who’ve gotten themselves into a system design hole. Companies are willing to throw tremendous resources at paying for system design mistakes, but not at avoiding them, or correcting them.

I don’t really know how to profitably find my way upward, except for becoming a manager or a consultant.
It surprises most of us because we have been brain-washed to think that science is good, myths are bad, to think that we can ignore our biology, gender, nature etc. How does relativity matter to human life? Why is the world filled with nukes, plastics, global-warming gases, GM foods, confusion about gender and biological roles? It's time to realize that the progress we made is actually degenerate and regressive from the view point of biological adaptation which is the only goal for humans.
Is that somehow special? CFG parsing is O(n^3) worst case using Earley's algorithm, regexp is faster. Back-references is a matter of inserting extra non-terminals. I once wrote a regexp to DFA with backreferences. I never checked the correctness, though.
Prof. Demkowic was a very good instructor at MIT.

Once I learned about the amazing world of dislocation growth/glide in materials, it helped me see physical objects in a whole new way.

https://youtu.be/EXbiEopDJ_g

The math describing these defect strings was also interesting and challenging :) I wondered if they could be used for one-way computation.
Plant immune systems are not like those of animals. You can often just slap parts together and they will meld. This likely evolved from plants literally growing on top of each other, such as a small plant growing on top of a log. Neither plant would do well if an immune reaction was initiated every time two root systems met.
it becomes worth it when the heat pump makes it so that i can live in my house without getting heat stroke and dying :)
The author gives some fd comparisons in their benchmarks.
People loving him are utterly demented historical illiterates. Kaczynski's historical ideas of freedom would be laughable if he didn't kill people.
Did that drop them below replacement rate? Seems unlikely.
Everyone is focusing on the fact that `native` is not applicable to the current implementation. I think if done right, It can come quite handy
the stubborn leftist idealism in the face of a mass of evidence that communism can't work, at least as it is usually idealized, is a bit off-putting
Was MSX a standard similar to IBM Compatible?
A playground for you to receive and send out webhook events, test, debug and review webhook events
I am highly sceptical of this accounting. Many properties, in say, London, are owned through shell corporations in secretive jurisdictions.

My landlord is in a tax heaven. It's a corporation and there is no way for me to know who own it! What if I am paying rent to a war criminal? How do they account for this?

But let's look at a simpler situation - say you own a company, company let's out apartments, the rent is used to buy new apartments -> if you time purchases of new property well, there is never a profit to tax, corporation tax is zero. If I never take money out, but just grow my net worth, then my personal tax is zero too. So my net worth can keep growing forever, without ever paying tax.

You only ever pay tax on the small amount of money you take out of the company for living expenses, like food.
It might help maintain a higher concentration brine, but I can't really imagine by what method it would aid penetration (of brine or anything)?
It doesn't really, it expresses skepticism as I read it, along with acknowledgement of an outside chance that the original claim was wrong.
AntiCrack-DotNet:C# Project that contains some advanced anti-cracking techniques
C# Project that contains some advanced techniques in C# to prevent dll injection, detecting winapi hooking (including detecting scyllahide, hybrid analysis, and similar software/sandboxing websites that hooks some winapis), detecting debuggers, VMs, etc.
I don’t like binary lockfile. How do I know if something is properly resolved?
You are right.

UPD: tavianator actually is one of the fd maintainers as well: https://www.reddit.com/r/linux/comments/153far4/comment/jskx...
I just love that there is a relevant xkcd for pretty much every nerdy topic. Didn’t know/ remember this one.. so thanks!
Kind of, MSX was designed as a standard for 8 bit computers, while IBM compatible happened by accident.
That's a perfect example though, since monetizing content is almost exclusively feasible due to platforms owned by capital.
I find the name 'plane' itself curious. As an upcoming product you make yourself quite hard to find in search engines (though "plane issue tracker" gives plane.so as first result in DDG).
My experience was that during the days of davinci-003 as state of the art, I put a lot of effort into saving prompts. In the first month or so of using GPT-4 as my daily LLM, I kept saving prompts. But since then, I now rarely bother putting effort into saving prompts or looking up prompts. I'm normally able to get good results 0-shot and without much/any pre-amble, or worst case, with a few follow up questions. I credit this to the model. >95% of the GPT-4 queries I do have no pre-amble and are 0-shot and I'm satisfied with the results of probably >80% of them.
I use Vivaldi (not chrome itself but another Chromium browser) because I want PWA support on my Linux machine so I can have an app for outlook with notifications and Chromium browsers make that far more convenient than Firefox.
the source of the model is code and data.

you cannot generate the model without the same code and training data.

it is not open source.

you are conflating editing the model with the capability to edit a thing. using your source code example, altering source code changes the binary. as if one were editing the binary.

the source code isn’t called an IDE.
I think having a language that helps understand those limitations is a useful achievement. Much of mathematics does have that. A notable exception is the definition of real numbers. They are usually presented as a string of infinite decimals, or a converging sequence, or a set of numbers less than something. All of those notions obscure the basic limitation of knowing the real number and give a veneer of similarity to rational number. Rational numbers are numbers that we can have in our hand while irrational numbers are ones which we can never have. It is important to have a setup that respects that difference.

This is what motivated me to come up with a new definition of real numbers, namely, they are objects (I call them oracles) that answer Yes or No when asked if the number ought to be between two given rational numbers. Abstracting out what properties such an object should have, one can come up with a space of these oracles, define an arithmetic, and prove that they satisfy the axioms of real numbers.

For details: https://github.com/jostylr/Reals-as-Oracles/

In many ways, this is giving a definitional support to the use of interval analysis which is, of course, a very practical concern. It also brings our some cool stuff about mediants and continued fractions (nothing new about that, but nicely motivated).

It also fits in with the adjacent post about busy beaver numbers and its conclusion about knowing a number is in an interval.
I tried those and I was unimpressed. It's like a watered down, sugary, fizzling cocktail.
The Joy of Cooking is my favorite cookbook but only certain editions. Buying the wrong one is pretty high risk.
This presumes that the EU

(1) Understands what this is about

(2) cares about its citizens' freedom

(3) has enough coherence to actually do something about it

It's not obvious to me that any of these apply. The EU is pushing -- in fits and starts -- towards self-reliance in its computing infrastructure, but at a slow pace.
This immediately came to mind as well. IMHO they are root causes, but not the only one. It takes human decisions to start and continue wars, and those decisions have things that influenced them.