skysight-inc/HackerNews huggingface dataset:
Wrong.

Consider two hypothetical versions of this. One, the exact scenario as you described - history unfolded like it did, until the 1900 alien incident. CS and information theory is in its infancy. You're correct that most of the necessary work would first go to physics and chemistry and their various spin-off fields, because that's what's needed to build tools necessary to inspect the machine in full detail. The math would develop along the way, and eventually enough CS to make sense of the observations made before.

Now for an alternate scenario: it's the 1900 again, with the twist that CS is already well-developed theoretical field of mathematics (IDK, perhaps the same aliens dropped us a mechanical computer in year 1800). We'd still need to push physics and chemistry (and spin-offs) forward, but this time, we would know what we're looking for. We'd know the thing does computation, we'd be able to model what kind of computation it does. The question would change from "what does this thing do" to "how exactly does it compute the specific things we know it does". I imagine this would speed up the process of getting a complete picture, because it's easier to understand a specific solution to a problem once you know the answer, than it is to figure out the answer along with the solution.

In terms of understanding the brain, we are in the second situation. We may still know little about how the gooey thing ticks, but we have a growing understanding of what comes out of all that ticking, and a very good understanding of the fundamental rules of ticking.
Anything that qualifies as “very old” after a mere five years arguably shouldn’t be made part of a physical appliance anyway. That being said, I would disagree with that qualification here.
I think maybe you have to go back further. 20 years ago. Companies seemed to care about building great products, stronger vision, more open web, engineering mattered etc etc. Now it seems the tech world is only about making money and increasing share price.
> the US and Europe, there is an ultimate goal of try to force people to use e-payment systems to get some kind of regulatory benefit.

Maybe I misunderstood something but it's not my experience at all. People use e-payement because it's convenient. Contactless + small amount payements was the last nail on the coffin. I haven't used cash for years but I think people can still do it if they wish.

> Therefore people also constantly push back for fear of excess control, and the government tries to mandate it to force only digital payment.

Haven't noticed much push back form general public (besides in some circles like HN)
the only downside to flash going away was zombo.com no longer works correctly.
Ask HN: Why are there only so little WireGuard Android Apps?
I'd love to set up my own VPN, and I have already done it a handful of times. But, I find the Android Apps which allow you to use your own WireGuard service a VPN, somewhat limiting and not that good.

The "official" WireGuard App crashes or disconnects from the VPN. Or if the network changes, like from Wi-Fi to Cellular, the connection does not stay always and won't re-connect. There was even no such option in the app to have the connection "kept alive".

Extras, such as "Exclude local connections" or "Whitelist/Blacklist Wi-Fi Networks" are not directly available in the App, and only via some Parameters which you need to set for each (W)LAN or via external Apps, which control the WireGuard App.

There are some Open Source Options, but they also have limited function or are not stable.

Do I miss out on a better WireGuard App, which I did not find, or am I too harsh with the WireGuard Apps that are around and seek functions/extras which are not essential for everybody else?

I am currently using an OpenVPN Server on my home Server and the official OpenVPN App.
Most people with autism don't care at all.
Don't more people regret knee replacement surgeries than people who regret transitioning, by an order of magnitude?

At least hormone induced changes are fairly reversible. Can't exactly cook up a new knee.
>I'd go a bit further and say that if you're not comfortable with the basics of mathematical proofs, then you're not ready for the subject of linear algebra

I can't write a proof to save my life, but I'm going to keep using linear algebra to solve problems and make money, nearly every day. Sorry!

We had this discussion about Data Science years ago: "you aren't a real Data Scientist unless you fully understand subjects X, Y, Z!"

Now companies are filled to the brim with Data Scientists who can't solve a business problem to save their life, and the companies are regretting the hires. Nobody cares what proofs they can write.
I guess as "proud" owner of Russian passport I have all rights to say that.
The Social App of the Future
Modern life makes it hard to find each other. Let's use tokens to make it easier.
> The problem is that so many people got comfortable delegating all their financial and data risk to third parties

The "problem" is that most people prefer to not lose their life savings because their cat stole a little piece of metal and dropped it in the forest.
Dedicated tools can have better useability. Like physical buttons, in the case of pocket calculators.
All roads lead to the xkcd $5 Wrench answer.

https://xkcd.com/538/
Isn't that just the result of late stage capitalism at work? The need for immediate, constant and infinite growth results by necessity in short-term gains having priority over long-term benefits.
Presumably these people with access to a pretty decent postal system were the middle or upper classes or the time?
This isn't really comparing C and Rust for ATTiny85, it's comparing Arduino flavoured C++ and Rust for ATTiny85 running a micronucleus bootloader.

The ATTiny85 is incredibly trivial to get code running on in C (and less trivial in Rust, but probably still easier than what this blog post makes it out to be) if you eschew the complexity of Arduino and USB (micronucleus).

Here is all the source code for a blinker in AVR-C:

#include <avr/io.h>
#include <util/delay.h>

int main(void)
{
DDRB |= BV(0);

while (1) {
PORTB |= BV(0);
_delay_ms(500);
PORTB &= ~BV(0);
_delay_ms(500);
}
}

Here is how you build and flash it (with a USBASP programmer, but feel free to buy anything else):

avr-gcc -std=c11 -DF_CPU=16000000UL -mmcu=attiny85 -o blink blink.c
avr-objcopy -O ihex blink.hex blink
avrdude -c usbasp -p attiny85 -U flash:w:blink.hex:i

Not quite as convenient as using micronucleus and USB, but far simpler to debug/understand and generally more flexible.

If you insist on using micronucleus, then as I understand it the only thing which changes is you need to build the command line tool micronucleus counterpart and do something like:

micronucleus --timeout 60 --run --no-ansi blink.hex

Really the problem here is that Arduino tried to present embedded development as a simple idea, and when this pristine abstraction breaks down inevitably, things get really confusing really fast.
Idk about Unix but I sometimes see people port modern languages or programs to freedos
Linear algebra is usually a required (or at least strongly encouraged) course for an undergraduate degree in basically any engineering discipline, and it is usually not preceded by a course in "the basics of mathematical proofs".
Wait, can you turn your PC into an helicopter with a simple web page? Technology is amazing these days.
> matter to construct a physical system following that mathematical model within the bounds, and any such system is equivalent to any other one, within those bounds

No. This wasnt discovered.

Nearly every physical system is implementing nearly every pure algorithm, ie., every computable function.

The particles of gas in the air in my room form a neural network, with the right choice of activation function.

Turing-equivalence is a property of formal models with no spatio-temporal properteis. Physical systems are not equivalent because they both implement a pure algorithm

Pure algorithms are useless, and of interest only in very abstract csci. All actual algorithms, when specified, have massive non-computational holes in them called 'i/o', device access etc.

If your two systems of cogs wants to communiate over a network of cogs, the Send() 'function' (which is not a function!) has to have a highly specific causal semantics which cannot be specified computationally.

These systems only have 'equivalent functions', as seen from a human point-of-view, if their non-computational parts serve equivalent functions. This has nothing to do with any pure algorithm.

You cannot implement a web browser on 'gears' in any useful sense, in any sense in which the partices of their air arent already implementing the web browser. That a physical system can-be-so-described is irrelevant.

Computers are useful not because theyre computers. Theyre useful because they are electrical devices whose physical state can be modulated with hyper-fine detail by macroscope devices (eg., keyboards). We have rigged a system of electrical signals to immitate a formal programming langauge -- but this is an illusion.

Reduce the system down to just want can be specified formally, and it disappears.
Right, but in some areas of AI regulation, the existence of other countries might undermine unilateral regulation.

For example, imagine LLMs improve to the point where they can double programmer productivity while lowering bug counts. If Country A decides to Protect Tech Jobs by banning such LLMs, but Country B doesn't - could be all the tech jobs will move to Country B, where programmers are twice as productive.
This is not true about AW2 though - it's pretty clear that it's a PC-first title. Consoles run the game at medium-low settings. Max settings are for future PCs. Even the 4090 can't run it @ native 4k 60 fps with everything maxed out.
Comparing countries in Behance is a good way to see what is the best graphic design produced in that country.

Virtually all graphic designers, at least in Europe use Behance as a portfolio.

So by switching between countries you can get a decent idea of what kind of graphic design is being produced.
That could work if I could run windows or Linux on it
The Free Undetectable AI Writing Tool That Bypasses AI Detectors
I would say something similar: it is very tempting to patent stuff when you can just trigger a whole patenting process with a single email or message.
This is what IBM and people living off mainframes tell the world all day long, but I think you'll have trouble showing that mainframe's job can't be replaced by a few hi-end x86 servers under cost.

Inertia, regulators, and company having lots of money to the point they don't care (banks...) explains mainframes. They do the job well, so why bother replacing them if you don't care that they cost more.
OkCupid at its best was when it was a non-profit.
The thing about being a professional contrarian is you don't need to know anything about the underlying subject, or have special access to information, you just follow the mainstream media and say the opposite.

Meanwhile I saw a friend of mine who actually is an immunology PhD get driven off Twitter in 2020 by angry mobs.
All of these:

http://lambda-the-ultimate.org/node/4554#comment-71504

You can take the point regarding supporting generic types out of the list.
The problem with opaque records like "029845yn0sidng0345randomnyosndgf03548yn" is that you have zero clue what it's authorizing, making it impossible to audit your DNS records to ensure that you're only authorizing what you want to be authorizing.

And what do opaque records gain you anyways? Security by obscurity is not real security, and it's often possible to determine a domain's service providers by other means, such as CNAME/MX records, or by scanning the website for <script> tags.

Ideally, domain validation records would be of the form ACCOUNT_ID@SERVICEPROVIDER so you can know exactly what the record is authorizing.
> The thing that mathematicians refuse to admit is that they are extremely sloppy with their notation, terminology and rigor.

The refuse part is imo ver dependent on the person. Nearly all of my professors for theoretical cs courses just plainly said that their "unique" notation is just their way because they like it.

It's more or less just a simple approach to alter the language to fit your task. This is also not unfamiliar to the programmers who may choose a language based on the task, with, e.g. Fortran for vector based calculus or C for direct hardware access.
"C'mon, man! Your computer codes are munitions, Jack. And they belong to the US Government."
+1 for the presets.
I think we got that point, just kinda focusing on your other since there is an entire fleet of ICE vehicles that are simply unavailable as an EV. My point was its conspiracy, not uninformed simply because they nutjob in the example never mentioned weight, never questioned why, and took EV = cancer as fact. It doesn't matter if EVs weigh 5x more or 5x less.
Biden Signs Sweeping Executive Order Regulating Artificial Intelligence
You can say a lot about Meta, but the leadership acted with professionalism during layoffs. This at SiFive is just ridiculous.
I’ve heard very similar claims since the 90s but it hasn’t happened yet - Russia has certainly tried but their war in Ukraine is very much physical violence with a tiny fringe of cyber warfare, and their most famous success helping Trump get elected was an old school propaganda play exploiting existing fractures in the Republican Party, not the movie plot stuff like voting system tampering.

The NSA appears to have been a little more successful with things like Stuxnet but even there it’s hard to say that had much lasting impact compared to, say, the Mossad’s more direct targeting of scientists.

This makes me think that we’re prone to dramatically overweight the importance of the types of systems we work on, and forget how most physical systems have a fair amount of robustness stemming from human operators being able to notice problems and halt things before too much damage happens.
Russia:
I've hardly used a cash since 2012. After 2022 I've fleed the country and It's painful to live when banks don't open an account.
I'm not used to pay fees and commissions at every time when I need to transfer money or pay. It's so unusual for me because I used to tranfser money without any commission and fees and change money from one currency to the another online at MOEX exchange with only 0.05% fee. Now I pay at leat 1.5% when I convert to a local currency and above 2% when I need to transfer from one country to another with the fear to be frozen a transfer because of I'm originally from Russia.

I'm not trying to complain; I just want to say that I hate cash and love digital payments because I do not like to pay commissions and fees. I believe that in the EU banks also can offer such services but as I've read even EU citizens pay a big commissions and fees and not all banks offer an online banking.
It may not be on the same scale of other countries, but the UK has gold deposits which have been mined for quite some time.
This is very well written. Thanks for posting. Some time ago I read Neil Postman and if you are interested in culture and technology then Technopoly is a pretty good book to read.
Quite a bit, but Wikipedia provides sources! So I checked [0].

In section 3.3 it says that GSK argued their patent on the new form was being infringed because "there were batches of anhydrate that converted almost entirely into hemihydrate when stored at 40 °C and 75 % humidity within one month."

So "if you keep it wet and warm it will partially convert over the course of a month", and as far as I can tell the "seeding" aspect was not clarified, at least not in the article.

Also it bugs me that the Wikipedia author decided to call the loss for GSK a "technicality". It was decided that it was not relevant that microscopic quantities of the new form were created by accident, I think that is the correct decision and not a technicality.

[0]: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4479028/
https://archive.today/HLuXw

EO: https://www.whitehouse.gov/briefing-room/statements-releases...
Same events, new stories (The FTX trial, day fourteen)
Despite the overall negative tone of the article, the author seems to be aware of their blind spots:

> As will be obvious from this posting, I’m not an expert in dev tools for embedded systems. Far from it. This area seems like quite a deep swamp, and I’m probably not the person to help drain it. (Frankly, much of the improvement work ought to be done, and paid for, by hardware vendors.)

The main issue here is that the entire Arduino ecosystem is, to put it bluntly, a huge mess due to its scrappy nature. It often gets pushed as the default "recommended" way of doing anything with microcontrollers, but it is not and was never meant to be used by experienced developers. Idiosyncracies such as having to install a third-party package just to be able to target the ATtiny85 - a microcontroller based on the exact same AVR architecture as the other boards the IDE ships with built-in support for - are far too common and very little progress has been made so far to tackle them.

If you are the kind of person who wants or needs proper debugging capabilities, a standard build system or the ability to use your own IDE, you would be better off leaving Arduino in favor of a more traditional SDK package (either the official one provided by the vendor or an open source alternative such as avr-libc or libopencm3). Which, incidentally, is what the author did here: the complaints about Rust vs. C(++) have nothing to do with the actual language, they are about the surrounding libraries and build systems. The overflow could have been caught by compiler warnings if it weren't for Arduino disabling them by default in the name of beginner friendliness, as already pointed out by others.

The complaint about vendor support is similarly unfounded. While it is true that the quality of manufacturer-provided IDEs and SDKs often leaves something to be desired, they exist and are generally well supported. Vendors have no obligation to support Arduino or Rust options, neither of which are (yet) commonly used in the industry outside of hobbyists.
UK again. Almost all shops accept both cash and debit/credit card. So you can survive without cash, but you can also survive without digital payments. Though they might not be the sort of people who visit this web site, I see lots of people paying with cash in shops. Occasionally you see a small business or a temporary set-up that only accepts cash or only accepts cards -- they typically have a notice apologising for the inconvenience -- but you could just avoid them.

However, if one private person is selling something to another private person, and they don't know each other, then it's nearly always cash because most people aren't set up to receive digital payments, don't want the hassle of setting it up just for one odd item, and in any case wouldn't trust the technology and companies involved for a large sum so people quite frequently pay for a second-hand car in cash if it's a private sale.
Sweet, I'll have to give that a go :)

Another option in browser land is lips[0], which exclusively targets a js backend.

[0] https://lips.js.org
If you think that's a necessary part of immortality, you're looking at fiction inspired by the ancient Greek tale of Eos and Tithonus and not, for example, SENS: https://en.wikipedia.org/wiki/Strategies_for_engineered_negl...
US candy inflation hits double digits
1) Looking at the HN front page, I don't see how that's objectively true. I also don't recall seeing more Nix posts than posts about other topics, particularly popular ones.

2) Has anybody done a statistical analysis of HN posts to see what the top 100 (arbitrary) topics are and how they compare in frequency? Bonus points for a) number of reposts, b) recency data, c) breakdown by month/year, d) fancy graphs
the time to fight 'Chinese EV's was a decade ago, but legacy manufacturers preferred to fiddle emission data rather than face a future which was clear even then. Incumbents cannot innovate when doing so means destroying their current (successful) business model, seems to be an iron law of business.
Yes, it was an ad for GreyB.

It does look like they have a legitimate BI product. It isn't what I need, but I did appreciate the insight.

Like I said, even though it is an ad, it is one that is actually useful as legitimate information.
I find Herb's talks much more convincing, even Chandler's. C++ surface is much too big and fragmented and picking out the safe subset is close to impossible for everyday programmers.
To my understanding, trademark law should already "protect their identity" by preventing use of their logo, and copyright law would already prohibit an "intentional and exact clone". A patent differs in that it counts as infringement even if you can prove you came up with it totally independently, having never seen Apple's particular glass cube.

With the large caveat that I'm not an expert on IP law, I do feel like a lot of allowed patents have a net negative value to society.
Raspberry Pi 5 has no hardware video encoding and only HEVC decoding
Sounds like orientalism to me to be honest, and I would be vary of pathologising someone who takes part in a political struggle even if you don't mean bad. Not Eastern European, but were MLK or Nelson Mandela autistic? To me they seem quite well-adjusted and "normal personalities", except for being against the injustices around them.
Why export/import? Just create new passkeys on whatever device or service you want, and register those as well. OR just use a yubikey, put it on your keyring, and use it to log into everything.

Most crypto wallets do have import/export enabled though, so if you're logging in with a web3 identity, everything should just work.
I suspect you it’s a case of people without much PR expertise feeling like they had to “do something” in the face of bad/concerning press.

It’s the business equivalent of that non-techie relative who flips random settings and downloads random software in response to some computer issue.
From what is written, they plan to reduce the control of where ads are placed, but still allow enabling or disabling them.

Anyway, at present it's possible to disable them if you have reached the monetization requirements on the channel, like 1000 subscribers and some amount of hours viewed.
Everything around ai is based on theft simply because ai needs massive amounts of data to work. So instead of refining algorithms they figured out it’s best to steal data and ip. Appalling.
There's also https://fogofworld.app, which does this since 2012 and has a big community of people using dedicated "tracking phones" or other gadgets to be as accurate as possible.
I don't know which generation you're in, but I do remember people saying in the late 00s, that the first person to live to 200 had likely already been born, we just didn't know how old they were.
You're right, that might actually be wrong.

However, the claim I was actually thinking of, which is right I think, is that the maths used in the physical revolutions of the turn of the century (SR, QM, GR, and probably QFT, QED, and QCD as well) was invented by physicists or by mathematicians working with physicists for the express purpose of developing this theories, not the other way around.

Also, the basis of mathematics and the first few thousand years were indeed motivated by these kinds of concerns.
Ad blocker detected please disable to use Search
> If I were a teacher I would worry that eg students ask the calculator to solve, get 7/2 and use that as a reminder of the technique to symbolically solve the problem.

A terrible fate indeed. A student using their head for thinking? Can’t let that happen.
You're the one who complained about fancy vocabulary.
The OP is a post by a random person discussing reddit drama. As far as I can tell, the author of uBO isn't involved in any of it.

uBO does work fine, and is easily one of the most valuable pieces of end user software there is. Raymond Hill is very generous and has made a very positive impact on the world.