skysight-inc/HackerNews huggingface dataset:
The thesis that safety and power are incompatible seems mostly a straw man, because there are very few cases when a tradeoff between them may be necessary.

For example adding to a programming language array operations in the APL style greatly increases its power while simultaneously increasing its safety by eliminating all bugs that can occur due to mishandling of indices a.k.a. subscripts that would be needed otherwise to access array elements.

There are a lot of other such examples where adding high-level operations increases the power of a programming language while also eliminating some classes of bugs.

The only kind of "power" that can conflict with safety is the necessity of implementing various kinds of low-level operations whose functionality is not provided by any high-level operation of that programming language, e.g. some that may need to access various data types as bit strings or to use directly certain features of the CPU that are normally ignored by that programming language.

In this case it is not actually "power" that is in conflict with safety, but the desire of portability, i.e. of independence on the architecture of the target CPU, which prevents the addition to the programming language of features corresponding to everything that a CPU can do.

For most features that are unsafe in practice, it might have been possible to define safer higher-level methods to use them, but the obstacle has been the lack of standardization, i.e. the fact that they may be implemented differently in every computing system, so it may be hard to design an equivalent feature included in a general-purpose programming language that could be mapped in an efficient way to what a certain hardware does.

Much of the lack of safety of some modern programming languages is not caused by too much power, but by too little power, because they have inherited the lack of power of the minicomputers and microcomputers of 50 years ago, where the restricted programming languages available for them had abandoned many of the powerful and safe features of the older programming languages, from 60 to 70 years ago, where it had been inconceivable to have a program where any computation error, like integer overflow, would not generate an exception, or where it would be possible to access memory through indices or pointers in areas not intended, also without generating an exception.

The lack of runtime error checks for a program is a lack of power, not a sign of power (while I use frequently languages like C or C++, I always compile them in the right way, enabling all runtime checks).
Aspect 1.0 RC: A promising Lightroom alternative by former Nik Software devs
Some hospitals certainly engage in abusive billing and collections practices. But most of the stories you see about a $79 Tylenol are based on a misunderstanding of how institutional claims work. Those are typically billed based on DRG codes with negotiated rates so the line items have no relationship to the actual amount paid by insurers or patients.

https://www.cms.gov/medicare/payment/prospective-payment-sys...
When I was a subscriber (about 7 years ago) it seemed the news was left-leaning and the opinion section was heavily right-leaning.
I enjoy some of the Mathologer YouTube videos and they often show some great visual proofs:

https://www.youtube.com/watch?v=DjI1NICfjOk (Fermat's sum of two squares)

https://www.youtube.com/watch?v=rr1fzjvqztY (Ptolemy's theorem)

https://www.youtube.com/watch?v=yk6wbvNPZW0 (Irrational numbers)
It's night and day. Vscode was never meant for the workflow, so even small things like moving to the sidebars and interacting with them using the keyboard is a pain in the ass.

Setting up custom hotkeys is an exercise in patience, and you are constantly fighting with native hotkeys that try to do the same thing.

I tried making vim mode work for years and I always go back to the original because it's where I'm at home
I had unfiltered internet access from around the age of ten onwards. I can confidently say that was a horrible idea and I would have been much better off as a person without it.
Why does McKinsey still get hired?
Yea forked conversations UX is definitely one of my most desired features.
I just wish I could read a small part of the article from a overseas location for free, or a micropayment, instead it's suggested I pay for a multi month subscription to a website I very probably will never visit again.
https://smarthome.steviep.xyz/voices.js(3): Uncaught TypeError: Cannot read properties of undefined (reading 'cancel')

Android 10, generic WebView browser (mobile chrome works)
If you tried some grain milk and they didn’t fit you taste, maybe have a go with a "barista" one or any other with extra fat, they tends to be a bit more creamy. Pea and soy protein are also complete and quite cheap.

The hardest part for me wasn’t to remove the obvious diary (milk in coffee, yogourts, cheese…) but the many form of processed milk present anywhere in processed but also traditional dishes.
The US is turning into Russia where anyone about to testify magically falls out a window
There is legitimate skepticism here when so much is at stake.
Are there any writeups of the pinout or hopefully the protocol?

I made a converter once for a Sun keyboard before https://www.pjrc.com/sun-type-s-keyboard-retrofit/ / https://github.com/jareklupinski/sun2usb
Do you guys have high hopes for video data? Were there early results that showed promise for kinetic data?
Welcome. Actually we learned Modula-2 when I was at ETH in the eighties, and I had even a job at DEC Switzerland for some time where I had to develop course ware for the VAX Modula-2 compiler, but it was from DEC as far as I remember (probably this one: https://github.com/GunterMueller/DEC-Modula-2). Luon is actually a subset of my Oberon+ language; maybe you want to have a look at it: https://oberon-lang.github.io/.
> the color of television, tuned to a dead channel

To me, that meant "showing random static," and implied meaninglessness, or at least unknowability.
Bad Keming – Where kerning's so bad it's keming
16 bit microcontrollers are a $25 billion market.
Location: Delhi, India

Remote: Yes

Willing to relocate: Yes

Technologies:

• Frontend: MERN Stack, Next.js, React, Vue.js, Tailwind, Stripe, TypeScript

• Backend: Node.js, Python, Django, Flask, Prisma, Postgres, Redis, Socket.io, BullMQ, Zod

• DevOps/Cloud: AWS, Docker, Firebase, CI/CD (GitHub Actions), Kafka, Prometheus, Grafana

• Tools & Others: Git, Bash, Linux, Monitoring, System Design, Stripe, Project Management, Communication

Résumé/CV: https://drive.google.com/file/d/11dhNc4bKf7boKuWwAZaT7e6WfRO...

Email: bansalpushkar100@gmail.com

Summary: Hi, I'm Pushkar. I love to see a bunch of text compiled into wonderful things. I aim to deliver 100% SLA-level reliability and exceptional user experiences to millions. I’m passionate about scalable DevOps, efficient system design, and fast, intuitive UIs.

I have been programming and building since 2020. Especially in the past 2 years thanks to various internships/contracts, I have been able to solo manage entire applications and even work on bigger projects as part of a team. Scroll further for my experiences and projects
If you own your business you can expense everything
> light beams just pass through each other.

You're clearly not using enough power for the Schwinger effect. (More seriously, there are other non-linear effects in non-vacuum optical media.)
On https://railgunlabs.com/unicorn/manual/misra-compliance/, I think you will want to fix a typo in

1.2 Required Compliant (verified by compiling with Clang's -pdentic flag)
^^^^^^^^

Or am I too pedantic?
>>understand that small-scale hypothetical first

We understand it well enough to know that it does not apply. Flour in crevices is not a gas in a mix of gasses

Your problem is you must pick the right small-scale hypothetical.

For gasses, any single removing device operating faster than the input devices will eventually remove ALL of the target gas. Yes, the rate gets asymptotic, and yes, more devices are better than one, but every molecule will all by itself come out of every crevice, and eventually bump into the removal device. That will NEVER happen with your flour example.

This principle is already used for pretty much every air cleaning device in use both on the planet and in space.
I won’t believe that they’ll fix the dreaded bottom mounted charge port until I see it. Only Apple could get away with such an inexplicably bad design choice for so long.
I see your point, but that's not what I took away from the article. To me it seems like an alternate way to use existing models. In any case I think you could make a PoC that touched on main idea using an existing model.
The AI Calculation Debate
Competition and Diversity in Generative AI
GeForce RTX 5070 Ti reportedly features 16GB GDDR7 memory and GB203-300 GPU
You can even get halfway decent touch sensitive ones on marketplace for sub-$200 if you’re not fussy about it being a full 88 or weighted keys.
> predict that the USA will collect less and less data

Then you're betting against insurance industry and their legion statisticians. The odds favor the house.
Home Assistant's Android app does work with client certificates.

https://companion.home-assistant.io/docs/getting_started/#tl...
Well, I think it's the combination of the apps as you described with the devices to connect to them always being within arms reach. Take away either one (or take away the unlimited, always-on network access, like I have a 500 MB per month data plan) and I think we're having a very different conversation.

> seen what these apps do to people only a few years younger than me and it's just depressing

I'll make the obligatory point that the situation seems not much better for older people (Millennials, Boomers, etc.) who are also consuming a shocking amount of video on their phones throughout the day, to the point of it being anti-social.
The WSJ is such a shallow shell of its former self that no, I don’t trust it as far as I can throw a paper airplane made out of it. Somewhere along the line (and I have my hypothesis as many do…) our news sources stopped being objective, stopped seeking truth, stopped being sourced for bringing real information to the consuming public, and instead became a kind of echo chamber for dogmatic ideology of one kind or another. I have no idea what to read any more, because it’s devolved into sick “entertainment” rather than insightful reporting. Even my beloved NPR seems on the brink of falling into this as they seek to kowtow, presumably to save their funding.
I was replying to the comment that stated that you need a significant amount of capital in order to make life altering gains, even if you had a crystal ball.

I was arguing that with the right information, you could turn a few bucks into a massive fortune (bitcoin being a single example).
There's "rabbit starvation"; I've never heard of any corresponding problem on the other end, of "seal starvation" (failing to live on game with a low protein-to-fat ratio). Yes there are healthy food traditions with very high carb intake; my guess is they only became common after the extinction of megafauna, probably mostly because we overhunted them, because they were the favored food.
I mean it doesn't need to compute all programs in a human length reasonable amount of time.

It just needs to be able to compute enough programs to be useful.

Even our current infrastructure of precisely defined programs and compilers isn't able to compute all programs.

It seems reasonable in the future be able to give an LLM the python language specification, a python program, and it iteratively returns the answer.
I don’t see why it’s such an issue. The mouse charges to a day of use on a five minute charge. They don’t want you to run it wired all the time.
Rajup had posted about a CEO getting unalived, as an example of the rich facing consequences. I had misread your post as agreeing with him, like this Luigi thing was a continuation of a phenomena.

My bad. I see you were disagreeing with the poster sarcastically.
Not in my experience. Used properly an LLM is an immense accelerator. Every time this comes up on HN we get the same debate. There is the side that say LLMs are time wasting toys, and the other which says they are transformative. You need to know how critically ask questions and critique answers to use a search engine effectively. The same is true for an LLM. Once you learn how to pose your questions and the correct level to ask your questions it is a massive accelerator.
What is the official IBM statement on this (or MS one, as it was a joint project, right?)
But weren't the multiplication and addition rules set such that this visual proof holds true? Not the other way around.
Interesting ideas. If you do some subsequent post on this, it would be great to see how the perf benefits scale with different sizes of AoIs.
You could have taken a more curious approach on responding instead of a thinly veiled insult.
You're in for a nice trip, the concept is called Geometric Algebra:

https://youtu.be/60z_hpEAtD8?si=HHs_9m0IJ43nfI3S
(~50m video)

TLDW: Yes, the concept is there, makes much more sense than a cross product (which is just an oriented area) and generalizes really nicely.

Alternatively, read: https://en.m.wikipedia.org/wiki/Bivector
AI Could Be Making Scientists Less Creative
I went back and forth on this and in my uncertainty I decided it was better to start more "closed" first with the potential to become more "open" over time.
this again opens the question what does multiplication actually mean. if you approach it geometrically the metric is something^squared, if you approach it as numbers - its not that straightforward on the numbers line.
he's pointing out the technical definitions of the terms; you're insisting on the imprecise/wrong popular usage.

"insider trading", when insiders trade, say the CEO sells his stock bonus, is regulated (has to announce in advance, follow a plan) but completely legal. Some investors track how much insiders are trading in order to judge confidence in a stock.

"trading on inside information" (whether you are an insider or not) is not legal.
Too bad, New Zealand was becoming a really nice place with Jacinta. It feels like they're becoming really conservative all of a sudden.

I'm a progressive socialist and it worries me. I don't want to live in a country like that. I want a good welfare/health system, strong LGBT rights etc. My own country the Netherlands became neoliberal (hard capitalist) right at first and now radical right. I wouldn't want to live there anymore and luckily I don't. But it's annoying to have to emigrate all the time. Especially because I can't even vote in the countries I live in and it takes 10 years to change nationality.

I've always thought I might end up living in New Zealand eventually because I think it's the most beautiful country in the world and I really respect how they protect the beautiful nature they have. It would be an amazing place to retire, going on long hikes through their beautiful environment.
> The IT issue is affecting Air Traffic Control. According to AIRLIVE‘s source, the issue is affecting the electronic flight data system (EFDS).

Being curious I tried to read up on EFDS. Apparently an airport such as Edinburgh Airport should be able to function with redundancies and without functioning EFDS ground-based infrastructure.

Vaguely seems like redundancy procedures not being well-exercised, along the lines of unverified backups that are made but never restored with periodic tests.
> Well no not just because. I really care about the environment but it is getting a bit exhausting. In Holland everyone has to move away from natural gas meaning everyone has to buy hugely expensive heat pumps and insulate their houses more to deal with the lower heat output

This is just a more contrived version of “because I don’t want to”.

People were inconvenienced at the advent of seatbelts too.

Removing children from the labor pool was tiring for everyone else.

Arguably the only labor progressive change that didn’t inconvenience people was de-leading gasoline.
"three couples" makes an excellent group!
I think you got it the wrong way around. Nuvia got allegedly got a really good ALA because they targeted server and where small, but then Qualcomm bought Nuvia and wants to produce smartphone chips with the cheaper Nuvia ALA, based on Nuvia IP. Arm argues they have to use the more expensive Qualcomm ALA.
You can perform a formal verification of an informal proof, like for example the ones in https://youtu.be/VYQVlVoWoPY linked elsethread. Of course, you have to come up with some formalization of what the informal proof is trying to claim, but it doesn’t mean that what you’re proving wrong must be a formal proof to start with.
Your intuition is irrelevant if they’re mathematically equivalent.
There's clearly a need for Source Cooperative given the overwhelming positive feedback we received during the beta. However, Source Cooperative is entirely dependent on Microsoft and Amazon subsidizing all of the S3 / Azure Blob Storage costs. They could pull the rug out at any moment, like we've seen with Planetary Computer, and Source Cooperative would no longer be sustainable.

Disclaimer: I built Source Cooperative and left Radiant 2 months ago.
I hung out with a native san guy in Namibia who remembers hunting giraffes with bow and arrow with his dad. (he still uses the bow he made)

He said when they killed something that big they would light a signal smoke fire and the entire village would come to the and basically have a party until it was all eaten.
And then they hand-wring about silos. The level of slop at software companies is astounding. Let’s drop everything to make sure we’re writing the backend and frontend in the same language, and then half-document everything over Slack, Confluence, README.mds, and GitHub wikis.

Confluence is especially stupid to me when everything happens on GitHub anyway, and most companies do GitOps in one form or another. We can literally colocate documentation next to the same code files it applies to, using a nice terminal friendly markup language. Most programming languages these days allow us to write Markdown documentation inline next to the declaration it applies to. But no, let’s use Atlassian’s bespoke proprietary Enterprise Offering of a rich text editor. Disgusting.

But hey, suits need to sell their enterprise software to somebody.
> after crypto tanked with the recent fed funds rate hikes

When? It's at an all time high right now
I think YMMV with this.

The custom where I am at is to load the moka pot with a grind and quantity that produces a significant barrier to the flow of water.

The alert that the brew is finished is the sound of the boiling hot water and steam spraying the coffee through the standpipe into the upper chamber, and it is absolutely under steam pressure, I’d say around 5 to 10 psi.

When the liquid water is low enough that it doesn’t get picked up by the lower tube, you get a significant outflow of pure steam hissing through the standpipe nozzle, and then it’s quiet, as the bottom chamber is now completely dry, as are the grounds when you dump them out.

It could be that if you use a coarser grind or less coffee than is customary here, flow restriction does not occur, and the pressure of the heated air and water vapor is enough to push out all of the water through the coffee without reaching 100c (should only take about 1/6 psi for a flow overcoming gravity to that height) but if you used that method here your coffee would fall under heavy criticism.

The violence with which the flow jets into the upper chamber and the volume and aroma of the steam serves somewhat as a social signal as to the “quality” of the coffee, so there is a strong incentive to heavily load the pots here.

Legends of exploding pots are common, as is precautionary disposal of pots whose threads have become excessively worn.

But I still have no first hand knowledge of anyone witnessing an explosion or even an over pressure venting event (there is a small pressure relief valve on the side of the vessel)…. So I suspect that the risk is not that high.
You here to learn why people misunderstood you? Or you here to fight with righteous anger about how it's other people's fault they misunderstood you?

Because you say the former but are acting like the latter.

I agree the healthcare system in the US is unfathomable. We're on the same page there. Maybe don't be a dick about it and we can have a productive chat?
You are getting left behind if you do not adopt
chat-based programming as your primary modality.

Holy overblown marketing, Batman.
Analogously, one wouldn't call a mathematical proof "visually wrong" simply because it lacked visual diagrams.
I love Oberon: spent a few years mainly working in Oberon Microsystems Oberon/F aka Component Pascal, another beautiful language.
Reading a book to young kids worked wonders back then and once they were old enough to run outside without supervision they exhausted themselves quite naturally at the end of the day. You can really do million productive things with kids if they aren't feeling sleepy instead of dooming them to bad sleep with those screens.
I have three sons in the 7-12 range, and I'm a professor at an undergraduate college that's done a lot on teaching with AI.

We've let our kids play with LLMs by having conversations in voice mode and generating images. The youngest one likes doing this, but it's a novelty, not something that he does all the time.

For academic work, we've had success using Perplexity (with parental guidance) for the older kids' projects that require Internet research. The ability to get an overview of a topic at a moderate level of complexity with links to other sources is beneficial. This isn't a substitute for doing in-depth research in the library or with actual peer-reviewed articles, but they're not yet at that level of depth.

At the college level, the most important lesson we're trying to teach is using LLMs as a source of ideas, suggestions, and feedback to advance your work, rather than as a tool for generating finished work. I often phrase this as "collaborating vs. delegating". I want students to think critically about their ideas and repeatedly iterate with LLMs in the loop to help solve the creative problems they encounter - but without outsourcing their own vision for the project.

My colleagues are seeing good results across multiple disciplines using LLMs for topic development and pre-writing, so I'd encourage leaning into that role, as opposed to jumping straight into text generation.

We've also learned that students benefit from a clear process with specific example prompts. Using AI well requires developing critical thinking and self-reflective skills, so there's a process of maturing that comes with time and exposure.

If you're interested, here's an example research assignment I've used in my own classes with some specific prompts and suggestions for different phases of the writing process:

https://github.com/dansmyers/Example-AI-Assignment
> You can't program safely in an unsafe language

Of course you can, Rust is an unsafe language but people tend to use the safe subset of it. Are you telling me that is impossible and they are writing unsafe code?
Show HN: Word Document Content Generator
I've developed a tool that simplifies and speeds up content generation for your Word documents, making your workflow smoother and more efficient!

This tool is designed to help you:
Save time on document creation
Automate content structuring
Improve productivity
How comes lithium has no problem getting in and out of the monocrystal?
Russian gov sent in abuse request for Bellingcat to be removed mstdn.social
For those thinking this doesn't hold, note that "wlog" means without loss of generality (having numerous examples in proofs).