skysight-inc/HackerNews huggingface dataset:
If you look closely at the history of mathematics you can see that it worked similarly to current AI in many respects (not so much the secrecy) - people were oftentimes just concerned with whether something worked rather than why it worked (eg so that they could build a building or compute something), and the full theoretical understanding of something sometimes came significantly later than the knowledge of whether something was true or useful.

In fact, the modern practice (the concept predates the practice of course, but was more of an opinion than a ritual) of mathematics as this ultimate understandable system of truth and elegance seemingly began in Ancient Greece with their practice of proofs and early development of mathematical "frameworks". It didn't reach its current level of rigor and sophistication until 100-150 years ago when Formalism became the dominant school of thought (https://en.wikipedia.org/wiki/Formalism_(philosophy_of_mathe...), spearheaded by a group of mathematicians who held even deeper beliefs that are often referred to as Mathematical Platonism (https://en.wikipedia.org/wiki/Mathematical_Platonism). (Note that these wikipedia articles are not amazing explanations of the concepts, how they relate to realism, or developed historically but they are adequate primers)

Of course, Godel proved that truths exists outside of these formal systems (only a couple decades after mathemticians had started building a secret religion around worshipping Logos. These beliefs were pervasive see eg Einsteins concept of God as a clockmaker or Erdos' references to "The Book"), which leaves us almost back where we started where we might need to consider there may be some empirical results and patterns which "work" but we do not fully understand - we may never understand them. Personally, I think this philosophically justifies not subjecting oneself to the burden of spending excess time understanding or proving things that have never been understood before - it may elude elegance (as the 4-color proof) or even knowability.

We can always look backwards and explain things later, and of course, it's a false dichotomy that some theorems or results must be fully understood and proven (or proven elegantly) before they can be considered true and used as a basis for further results. Perhaps it is unsatisfying to those who wish to truly understand the universe in terms of mathematical elegance, but that asshole used mathematical elegance to disprove mathematical elegance as a perfect tool for understanding the universe already, so take it up with him.

Personally, as someone who at one time heavily considered pursuing a life in mathematics in part because of its ability to answer deep truths, I think Godel set us free: to understand or know things, we cannot rely solely on mathematics. Formal mathematics itself tells us that there are things we can only understand by discovering them, building them, or experimenting with them. There are truths that Cuda Cowboys can uncover that LaTex Liturgy cannot
OpenAI Nonprofit Buyout: Much More Than You Wanted to Know
'Token Wars' Heats Up as Cerebras and SambaNova Enter the Fray (2024)
True.

I had to give up on mypy and move to pyright because mypy uses pip to install missing types and they refuse to support uv. In the CI pipeline where I use UV, I don't have a pip installed so mypy complains about missing pip.

Of course I can do it by myself by adding typing pkgs to requirement.txt file then what's the point of devtools! And I don't want requirements.txt when I already got pyproject.toml.

Once you get used to cargo from rust, you just can't tolerate shitty tooling anymore. I used to think pip was great (compared to C++ tooling).
Rust, formerly.
Oh, I vaguely remember this from when floppy disks were still around (though not by the name DMF) - I remember them having a 1.44MB capacity but some smart people reformatted their floppy disks to get it up to 1.68MB.
Now if only we had MZLA for Firefox...
Yeah, the chrome dev tools seem to have gotten worse over the last 10yrs. Basic CSS editing stuff breaks all the time.
Chicken Genetics Barons Created the Egg Crisis
> It was supposed to be a short mission I thought I could learn Common Lisp in ten days and hack a quick server management protocol. I ended up writing throw-away Common Lisp code that generated C for a fully-fledged ASN.1 parser and query system for a custom Common Lisp to C SNMP server.

I believe it. And I'd love to see it and hack on it, if it were open source.

This whole kc3 thing looks pretty interesting to me. I agree with the premise. It's really just another super-C that's not C++, but that's a pretty good idea for a lot of things because the C ABI is just so omnipresent.
In fact as a configuration file, spreadsheets are a much superior UI, you can change lots of numbers very quickly if your config is tabular in nature. Whether it is a good idea that what you type should modify a prod environment live is a different question. Working in finance and living in spreadsheet it sounds like a terrible design to me. You want to be to inspect the whole config change before it affects the target system.
Yeah, but you can shave a couple of pounds off the device cost by using a shitbox CPU with almost no RAM or flash!

It also means that the embedded developers can't start writing web frameworks into the devices, so they might actually ship this decade.
You do not have proof this is not a backdoor. The word proof is being taken too lightly. You don’t get proof in hardware - you get promises.

And the people making them here have been found to break them. The CCP not necessarily Espresif.
thanks! I agree
I'm good with side projects. The activism stuff has to stop.
haha that's still a very good score
> These days, many “UX designers”, “UI designers”, and “product designers” have never written a line of code.

Same for some "architects". They just draw up random system designs that don't work for THEIR environment.

> This is precisely why it’s a tragedy that the roles in software development have become so compartmentalized.

The worse part of it all is it's not the software engineer's fault either (most of the time). HR, managers and others haven't improved over time and instead are enforcing non-software values on the engineers. It's all about ticking boxes. You get classified as a Go REST API backend engineer and somehow you can't touch React because that's not your thing.
good feedback, thanks!
Understanding Unix Filesystem Timestamps (2022)
HIPAA was designed for portability -- the 'p' standards for portability not privacy -- of health info, so there are immense carve outs in service of that objective. Fines for violating HIPAA are almost non-existent.

HIPAA is wildly misunderstood by the public as a strong safeguard, meanwhile medical offices just get any patient (a captive audience) to sign a release waiver as part of patient intake ...
Recent thread https://news.ycombinator.com/item?id=43311696
> the more material design… I see, the more I experience feelings of distrust and skepticism.

One of the tenets of material design seems to be that a rectangle should not reveal its true nature until you click on it. It might be a button, a text box, or just a rectangle!
This worked out for me. What I was actually interested in was reducing CPU utilization, which generally speed is a fine substitute for (the same work being done in a smaller time slice means lower overall utilization). It reduced utilization enough that I'll likely push to use it for production in the future (not immediately, there's bigger low hanging fruit).
I know what Chez Scheme is, but I had not heard of this FFP machine before.

https://stackoverflow.com/questions/2147821/what-is-an-ffp-m...
Sounds like the success rate of Arthur Andersen. Whatever happened to them?

A pollster’s reputation isn’t everything, but it’s close.
We got our branding guide done through a 99Designs contest. Over the last few years there has been an incredible increase in how many design entries you get per dollar on that platform.

It was definitely worth it, and then we redesigned the website, and now the app based on that branding guide. 10/10 would recommend.
The oligarchs will get exactly what they paid for (seemingly even more than usual) with this admin.
I really respect the work that you've done, but I am always very surprised when people just speak anecdotally as though it is truth with regards to AI models these days. It's as if everyone believes they are an expert now, but have nothing of substance to provide but their gut feelings.

It's as if people don't realize that these models are used for many different purposes, and subjectively one person could think one model is amazing and another person think it's awful. I just would hope that we could at least back up statements like "The model performs very poorly in practice" with actual data or at least some explanation of how it performed poorly.
> iterate over the above list and remove all strings matching 'apple'

> open file and write the above list etc etc kind of stuff.

Honestly, I can write the code faster to do those things than I can write the natural language equivalent into a prompt (in my favored language). I doubt I could have gotten there without actually learning by doing, though.

This feels an awful lot like back in the day when we were required to get graphing calculators for math class (calculus, iirc), but weren't allowed to get the TI-92 line that also had equation solvers. If you had access to those, you'd cripple your own ability to actually do it by hand, and you'd never learn.

Then again, I also started programming with notepad++ for a few years and didn't really get into using "proper" editors until after I'd built up a decent facility for translating mind-to-code, which at the time was already becoming a road less travelled.
In a few years, if you mention you just straight up code with an editor or IDE, there's going to be a hackernews who's going to ask you about the size of your project at work (LOC, dev team headcount) because you can't really be working on something big and important without AI.
Does this help? https://github.com/astral-sh/uv/pull/7851
Yes, this is the subject of one of the "classic" posts of OG Stack Overflow (https://stackoverflow.com/questions/1132941). And in fact it commonly gets deliberately abused (https://stackoverflow.com/questions/3431676) despite better tools being available for the intended effect (https://stackoverflow.com/questions/277922).

But it's good to have more writeups, I suppose. And it's good to point out that the initializers of a `dataclass` will show the same kind of early binding, and how to use `default_factory` instead. (It's not immediately obvious that this is related to the issue with function arguments, but it is.)

> That is a very roundabout way of saying that if you do this... the default argument value for base_url will be "eaj.no", and not "example.com".

This isn't a good example. Even in a hypothetical alternate Python where `base_url` had its default value read at call time, `some_function` isn't called anywhere, nor does it modify the global `default_url`, so there's no reason why the behaviour of `get_post_url` would change.

> Notably, we can also pass a variable as the default argument value.

No; as already established, a value is used - the value that results from evaluating the expression `default_url` (which happens to consist of just a variable name). Also, default argument values aren't "passed" - that's the point.

> In short, default arguments should never be used for values that are required to change between function calls.

More accurately, subsuming the previous section: they should not be used for values that must be determined at the time the function is called. Because that isn't what happens.

> Use None as a sentinel value and conditionally create the mutable default value in the function body instead.

This is the standard advice, but I hate it. "Special cases aren't special enough to break the rules"; `None` is overly magical in a lot of Python code. Besides, writing code that modifies the passed-in value and then also `return`s a value isn't Pythonic - https://en.wikipedia.org/wiki/Command%E2%80%93query_separati... is a key part of the design of the standard library and of several builtin methods. Maybe you expect the caller to use a temporary for every call, but maybe the caller didn't understand that.

A lot of the time, a better approach is to just use an equivalent immutable value.
Generative AI and deepfakes are fuelling health misinformation
> They are paid by the mile

That's why electric truck will save them $250k per year in diesel.
NTSB Preliminary Report on Fatal DC Jet and Helicopter Crash [pdf]
Who is this team of "European cybersecurity experts"?

What is does the IAP unlock?

What does this do that Termius doesn't or how does this differ from the tools I already use?

"All your hosts, private keys, and passwords are stored in encrypted form on Apple iCloud and never leave your device."

How can data "never leave your device" yet it is stored on Apple iCloud??
Be warned: reading "The Design of Everyday Things" will make you incredibly frustrated at hotel doors, light switches in your house, kitchen appliances, and many other daily interactions with objects - once you realize that best practices to make them usable have existed for 40 years and designers still can't be arsed to make a restroom faucet you can understand on the first try.
According to Bjorn's testing - efficiency trumps all of the above.
I’ve experienced this with Sonnet 3.7. My credits drained in 2-3 days I think, leaving me to be sad for the rest of this month.
When the legal system is setup to rely so heavily on money that even the government can't go against it, you know shit is bad, yo.

Also, say what you will, but the US situation right now, this matter included, is definitely "novel and thought provoking" so if this thread is flagged, I am not convinced the people flagging it are doing it just because of HN rules.
Google's Gemma 3 is an open source, multimodal single-GPU AI 128K context window
We were talking about mass surveillance. PRISM isn't that. They used to collect mass email metadata, using facilities like Room 641A. Snowden's leaks showed that they had already stopped. These days, it wouldn't even be technically possible, let alone legally possible, because pretty much all SMTP traffic is over TLS. Gmail won't even accept unencrypted SMTP connections.
You could get metallic stickers to block the light from the old style. Unfortunately, no one I know of makes an illuminated sticker in the classic logo colors, to replicate the effect I used to enjoy with a simple vinyl overlay.
How to learn a language like a baby
It's funny, I was just thinking about this recently. I noticed that a lot of electric cars or PHEVs use cyan accents to signal that they are EVs, yet I also think yellow is the more obvious color for electricity.
Also known as Embrace, Extend and Innovate. Which would be a good thing.
> Doing something because all the big companies

I learned this after many attempts early in my career to copy what the MS conferences were talking about.

The thing is that what a big company do can be good (in fact MS was fine back then!) but are problems for big companies, and have issues that you don't need to copy, worse: copy without knowing. For example, microservices, horizontal scalability, massive telemetry to cover all, etc are problems yo don't want to get.

What it works much better, is to copy a small/medium player that is very well regarded. Like for example, think in panic, vlc, etc. Small/medium players that have good reputation need make more effort than big players, and are on top of the good things by necessity.
Your ratios are correct but your numbers are off. Mozilla peaked at around 35% of market share and is now around 3%.
6700 / 10000.
I guess because I didn't zoom on the map and got the time off by 34 years of the actual event.

The scoring could be improved.
I listened to her interview on the Free Press, and to be totally honest, the way it was discussed does feel “gossipy.” [0]

One thing that rubs me the wrong way is her decision to wait to share this information.

When asked that by Weiss during the podcast, her response was effectively, “because AI is getting so powerful, and everyone should know what these companies are doing.”

Don’t get me wrong - I believe what she claims to have happened, and I sympathize with her difficult experience at the company. But what she discussed doesn’t feel like it’s very substantive beyond what could already be deduced or observed.

[0] https://www.thefp.com/p/meet-sarah-wynn-williams-facebooks
Can you give me a link to download the browser?
If it looks anything like what I read in "Modern C++ Design" 20+ years ago then I'll pass. That book made me realize the language wasn't for me anymore.
The carry propagation hardware is the hardest to make work right. The low-digit add has to power the entire chain of carries. As the number of digits increases, it gets harder to do that, because so much mechanism has to be pushed.

There are carry mechanisms which use an external power source for carry propagation. Babbage's Difference Engine has one.[1] All the pending carry values are stored in a latch for each number wheel. Then a cam system applies the carries one at a time. This scales to large numbers of wheels.

[1] https://youtu.be/vdra5Ms__9s?t=247
Firefox works pretty well on most sites. Web standards are IMHO in a good enough Shape that anything properly developed will be fine.

Firefox doesn't work well on Google properties (for obvious and non obvious reasons). It's decent, but in my experience it 's significantly slow and resource intensive in most of Google Suite and subpar on YouTube[0]. Useable, but definitely heavier than Chrome. I ended up with a dedicated Chrome instance for meet and Sheets.

Recently I found Notion to be more and more sluggish, it might be because of cache and other relics as I spend my life in Notion, but fresh Chrome instances behave better. All in all, Notion has become worse and worse, so it might be just part of that trend.

Many enterprise extensions currently won't work at all in Firefox. It's in no part Firefox's fault, and enterprise software has always been shitty, but this is becoming a reality to me.

[0] I don't have the link at hand, but it was notably due to Google intentionally screwing up Firefox last time I looked into it...
AI tools aren’t all or nothing. You use them when it makes sense and you go back to regular coding when they don’t (or when they’re unavailable).

You’re also not limited to a single tool. You can switch to different tools and even have multiple editors open at the same time.
For anyone else looking at it: US and UK only
From experience I will say that you can hire a UX designer even if bootstrapped and low on cash, and that it's a very valuable investment.

Just don't hire them full time as the article seems to suggest is the only choice.

Getting a small firm to go through a design sprint with you with, e.g. designing 3 concepts, letting you run a couple of UX workshops with your potential users, then picking one of the options to flesh out into a clickable prototype, then workshop again, then final prototype, can come out within a $5k-$10k budget.

That's 100% worth cutting $5k from your front-end dev budget, and will definitely translate into way more than $5k in user retention gains within the first year.

This is what we did before coding the MVP, and we're doing it again now (at Seed stage) before shipping our biggest upgrade to the product.
Has anyone tried limiting Cursor or Cline, etc, to a higher level role such as analysis and outlining proposed changes, and then coding those changes yourself with minimal LLM interaction? Aka, ask to define / outline only a high level set of changes, but do no actual changes to any file; then proceed through the outlined work, limiting Cursor to roughing out the work and hand writing the actual critical bits? That’s the approach I’ve been taking, a sort of best of both worlds that greatly speeds me up without taking the hands 100% off the wheel.
>Most liquids are homogenous — it all flows together and you can’t distinguish one liquid molecule from the next. Indeed, this is mostly true of water. However, in 1992 researchers theorized that at a certain temperature and pressure, liquid water would reach a critical point at which it would no longer be homogenous.

>Paesani’s team conducted simulations that revealed the critical point at which the temperature is low enough (198 Kelvin or -103 Fahrenheit) and the pressure is high enough (1,250 atmospheres) for water to spontaneously separate into high-density and low-density liquids.

... Why wouldn't it be a solid under these conditions?
To me, the primary effort here feels less about trying to create a "new" standard, and about trying to consolidate and add more formal definitions/recommendations around fairly settled patterns.

Like, I think a lot of the design systems they are linking to as reference have many opinions about colors or typography or whatever, but this project feels more like it's just trying to better formalize the definition of components that everyone is already using.
https://archive.is/C0uQr
I at least stopped donations years and years ago to them, because I wanted my money go to browser only.

In the light of ToS changes, I'm sad and feel let down without an option.
Apple's marketing team must be so good if they can convince HN users that an iPad is a suitable replacement for a "real" computer. No one who knows what a terminal or root access even means should be fooled by this.
Both Left and Right Are Wrong About Mahmoud Khalil
Fair enough. Thanks for the thoughtful response.
Oh no they trained too much on all the shopping channel videos, i knew that would be our downfall someday
What makes this different or better from something like the osprey?
I want to switch to uv from pyenv but one use case that didn't manage to figure out is if I can have similar setup like pyenv that I install few python version and setup one to be a global default (configured in zsh). I know for bigger projects proper way is to setup virtual environment for all new project but I do many mini (throwaway) python scripts and experiments or testing repos in python and would be really annoying to setup environment for those - so far pyenv worked well for me for such cases without having pretty much dependency conflicts.
Out of curiosity, which design decisions do you find questionable and what do you feel is half-baked with Pixi? It's been working well for us.
xeus-sqlite is a xeus kernel for jupyter and jupyterlite which has Vega visualizations for sql queries:
https://github.com/jupyter-xeus/xeus-sqlite

jupyterlite-xeus installs packages specified in an environment.yml from emscripten-forge: https://jupyterlite-xeus.readthedocs.io/en/latest/environmen...

emscripten-forge has xeus-sqlite and pandas and numpy and so on; but not yet duckdb-wasm:
https://repo.mamba.pm/emscripten-forge
I don't think that is weird at all. Uncommon, maybe.