skysight-inc/HackerNews huggingface dataset:
My friends are all over the map.

And I don't just mean Austin, Chicago, or San Diego, which are all pretty far away from NYC where I live. I mean places like London, Munich, Zurich, Tampere (Finland), or Tel Aviv. While I enjoyed it when my plane was landing in many of these places, I also enjoyed it when it was taking me back home. (Maybe except London, but, to my mind, London is harsher than NYC if you want to actually afford living there.)

So the closest I can live to my friends is online. Show up for a chat, talk, cheer up, support each other, and the bonds of friendship will remain, despite geography. Live next block and forget to say hello week after week, because the days are busy, and the bond will fray.
Xi -> Musk -> Trump. Here we go.
Do you think the "you" at highschool and college was "the real you"? Because that is definitely not the case for me. You grow older, you learn, you change views, you mature...
isnt smoked/charred food associated with colon cancer?
ChromeOS update replaces mouse cursor with yellow square
Another method that works is doing glute bridges.

Edit:
See
https://pmc.ncbi.nlm.nih.gov/articles/PMC9668752/
Context Generic Programming in Rust
This isn't surprising if you view these LLM conversations as a manuscript for a theater play, and the LLM as a document-extender being run against them.

The ego-less real-world algorithm doesn't--cannot--recognize "itself" in the content. It just supplies additional text which statistically fits after what's already there. Human readers then instinctively assume that the fictional character we perceive is also an author's attempt to insert itself.

Imagine the starter script changes from "you are an LLM" to "you are Santa Claus." The LLM might emit "Ho Ho ho, I am Saint Nicholas, welcome children", but that doesn't mean the real-world system considers itself to be Santa, or that Santa is real, or that the machine feels love and kindness to all the children of the world.
I wish to have a big story (related with computer games) to use this lens to record a movie.
The notion of mathematics as "the art and science of effective reasoning" is grandiose and blatantly wrong, both in the sense eg no mathematics is performed when an animal correctly flees from a fire, and also that this definition would exclude computer science from mathematics when his whole point is to incorporate it (for almost all formal systems are unreasonable).

Math and computer science at their core are more it less the same. Both are concerned with manipulating "digital" equipment that is assumed to respond predictably. Equipment is a prerequisite even for pure mathematics - it is interesting in this case because it is the mathematician themself, who agrees to act that way and respond predictably.

Physics is implicated in this in that it forms the basis of that agreement. Certainly it did historically. In the 20th century serious attempts were made to justify it on the basis of notions like consistency and completeness; the failure of that project is not yet fully absorbed. To be fair, the results are devastating because they can only really be understood by students after they have invested greatly in mathematics with the idea that all but a few "facts" derive from reason - when in fact almost none of them do.
The machine readable printed parts are covered by an international standard
ISO/IEC 7501-1 [1].

So despite your cynicism, all governments literally are on the same page about passports.

What do people think organizations like ISO, ITU, ICAO etc do other than exactly this sort of standardization process of human activities that are common across national boundaries?

[1] https://en.wikipedia.org/wiki/Machine-readable_passport
You may not wish to share it, but it's a simple choice:if those countries want that data, you'll either share it or be refused entry. Passports are only a small part of that, regardless of what data is stored on them. The US for example requires you to provide fingerprints and submit to a face scan, that then get permananetly stored (for non-citizens). They also require you to submit to a phone and laptop search if the TSA agent believes it's necessary. You are of course free to refuse all of this, and go back to the country you were coming from.

So having digital vs physical passports opens no new avenues of private data sharing with regimes you might not trust: they already have a right to demand any kind of data they want about you.
No. It's a clear lie.
They are. Both sides that are interchangeably leading the country. Nothing really changed since at least 50+ years. Same names, same stories.
Both groups did some PR moves showing police, CBA and ABW being successful catching some poor guys fighting with the system.
It was very hard for me to make friends. Even now, I only have two. When I didn’t have a family of my own, I was heavily dependent on my friends. Such "friendships" often didn’t end well for me. That’s why, at some point, I started striving to ensure that my mental health didn’t depend on my "social connections" (I’m not sure, maybe I misunderstood something in the article).
Coming from the type theory side with only a passing glance at Ada, I am nevertheless sure: this is not what type theorists mean when they talk about dependently typed languages. Such languages derive from the formulation of Per Martin-Löf (also called Intuitionistic Type Theory), they include dependent sum and dependent product types, and they allow type checkers to prove complex statements about code. (The history of dependent types is intertwined with the history of formalizing mathematics; dependent types were designed to encode essentially arbitrary mathematical statements.)

The interesting feature of Ada here seems to be what it calls "subtype predicates". As you've explained, these come in a "dynamic" flavor, which are a nice syntax for runtime assertions, and a static flavor, which are compile-time checked but restricted to certain static expressions (per https://ada-lang.io/docs/arm/AA-3/AA-3.2#p15_3_3.2.4).

An example of something you can do in a dependently typed language is write a sorting function in such a way that the type checker proves that the output will always be in sorted order. I am pretty sure this cannot be done in Ada; checking at runtime does not count!

I do believe (having heard from multiple sources) that Ada's type system was ahead of its time and its success in creating practical programs that are likely to be correct is probably underrated. But I'm not here just to legislate semantics; one should be aware that there is something vastly more powerful out there called "dependent types" (even if that power is not likely to come into most people's day-to-day).

(Unfortunately Wikipedia is quite poor on this topic; you will see, for example, that on the Talk page someone asked "Is Ada really dependently typed?" two years ago; no reply. And it makes no sense to say that Ada has "tactics" but not "proof terms"; tactics are a way of generating proof terms. There are many better resources out there (especially ones associated with the languages Agda, Coq (currently being renamed Rocq), and Lean, e.g. https://lean-lang.org/theorem_proving_in_lean4/dependent_typ...). But be warned, there is no "short version": dependent types cannot be explained in a sentence, and they are not something you will arrive at with enough "hacking away".)
I don't know about the method in the paper but if you suffer from this, try doing glute bridges.
Might as well add the link for the Nature commentary, which in and of itself, is a pretty interesting read.

https://www.nature.com/articles/d41586-024-00887-y

Unsurprisingly, the main motivator is greater control. But the article suggests that the underlying motivation is not just control, but rather to provide a better quality journal for their audience. For publisher-owned journals, the editors have limited power... and this is the problem for many.
The author is an ESL speaker.
It's quite obvious the CEO being paid reportedly around $300m a year is pocketing money that indie artists generate for the site. Most of these tech sites aren't really interested in delivering value into the communities they serve... Musicians need to wean themselves off of jumping into these types of old "gig economy" schemes, as they really don't provide any return on the huge amounts of time invested in building them up... :/
I wish I had.
Physical passports, in the same way as physical currency, have numerous mechanisms for reducing the ability to forge the documents.

So these documents can be checked locally without any form of communications to some central authority (which doesn't exist across national boundaries).

They have visible anti forgery like UV printed symbols and information, underprinted background text and patterns, etc etc.

So they are more "meaningful" than an offline smartphone with a passport app in that they do not require anything other than the officer's ability to see, feel and read the documents.
Ask HN: AWS DynamoDB Triggers – A Time Bomb in Your Production Environment?
I recently discovered what I consider a serious design flaw in AWS DynamoDB Triggers that I believe deserves more attention from the community.

Here's the issue: DynamoDB Triggers can only point to the `$LATEST` version of a Lambda function. Yes, you read that right - there's no built-in way to target a specific version or alias through the console. This means any changes to your Lambda function's `$LATEST` version immediately affect your production triggers, whether you intended to or not.

Consider this scenario:
1. You have a critical DynamoDB table with a Lambda trigger handling important business logic
2. A developer pushes changes to the Lambda's `$LATEST` version for testing
3. Surprise! Those changes are now processing your production data

The workarounds are all suboptimal:
- Create triggers through CloudFormation/CDK (requires delete and recreate)
- Maintain separate tables for different environments
- Add environment checks in your Lambda code
- Use the Lambda console to configure triggers (unintuitive and error-prone)

This design choice seems to violate several fundamental principles:
- Separation of concerns
- Safe deployment practices
- The principle of least surprise
- AWS's own best practices for production workloads

What's particularly puzzling is that other AWS services (API Gateway, EventBridge, etc.) handle versioning and aliases perfectly well. Why is DynamoDB different?

Some questions for the community:
1. Has anyone else encountered production issues because of this?
2. What workarounds have you found effective?
3. Is there a technical limitation I'm missing that explains this design choice?
4. Should we push AWS to change this behavior?

For now, my team has implemented a multi-layer safety net:
```python
def lambda_handler(event, context):
if not is_production_alias():
log_and_alert("Non-production version processing production data!")
return

if not validate_deployment_state():
return

# Actual business logic here

```

But this feels like we're working around a problem that shouldn't exist in the first place.

Curious to hear others' experiences and thoughts on this. Have you encountered similar "gotchas" in AWS services that seem to go against cloud deployment best practices?
I don't have kids and had never heard of sandra boynton, but I happen to be waiting for someone at a department store some years ago and idly picked up a copy of "not the hippopotamus" from a nearby rack of children's books to leaf through. I was really impressed with the quality of the writing and illustrations, and told myself I would go home and send the author a fan email, but then I googled her up and discovered she was already super famous :)
Always did
I assume that you are excluding the US banking system from that "trickle down" effect.
Was going to sling an even 100, but yours is funnier so did the same, thanks.
> Have you made any personal attempt, any material investment, in fixing that problem?

Yes. I voted, and I'm teaching my child how to be a net positive for society.
At moments like these, you must realize how lucky we are to live in the internet age, where you can stay closely connected with friends all over the world
What I understand from the presentation

Many Volkswagen cars somehow report telemetry. Looks like there is data not only from the EVs based on the MEB plattform?
But for a Name/email to be associated with the VIN of the car, the owner has to register and use the app (once). Many EV owners did, but fewer of the non EVs did.
Too bad they can't work from home. AI is going to takeover all the tech jobs anyhow, right?
Looks ok, will give it shot too. What do you like about it?
Two good ones:

“The Typical American Lives Only 18 Miles From Mom”
https://www.nytimes.com/interactive/2015/12/24/upshot/24up-f...

“More than half of Americans live within an hour of extended family”
https://www.pewresearch.org/short-reads/2022/05/18/more-than...
This is very much false in much of the world. Especially if you have foreign paperwork, it's very likely a passport will be required by any kind of official asking for any other paperwork from you.
What a coincidence, today is the annual LAN party with my school friends. We've been doing this once a year between christmas and new year for many years, and I enjoy every second of it.
The great thing about AI peer reviewers is how fast you get feedback. There’s no need to wait weeks for your paper to be rejected when reviewers G, P, and T will tell you right away your paper isn’t the right fit.
QTIP: Quantization with Trellises and Incoherence Processing
I have been out of the defense industry for quite a while now, but even back then, more and more projects were using C/C++, because it was so hard to hire Ada developers.
Not sure what the terminology is but it’s not like giving people fake interviews is any better in my opinion. If anything, it’s worse because it’s a waste of time.
Further down, they explain the measurement errors involved:

"
If you buy the same product twice, how much will chemical levels vary?

When we bought two samples of the same product, plastic chemical levels differed on average by 59%, calculated as Relative Percent Difference (RPD).

To test whether completely identical samples would show different levels of chemicals, we sent about 10% of our products in triplicate. This means we sent three copies of the product from the same batch – with matching lot number and expiration date – bought at the same store on the same day. We found that the triplicate samples differed less – on average by 33%.

Our lab’s quality control methodology lists 20% RPD as an acceptable margin of measurement error for duplicate samples, meaning if you tested the exact same sample twice, you could see up to a 20% difference purely due to measurement noise. Taking that into account, the RPD for two samples of the same product (not necessarily from the same lot) ranges from 39-59%. For samples with the same lot number and expiration date, the RPD narrows to 13-33%.

Within-product variability appears high, possibly because we are dealing with very small chemical concentrations measured in nanograms."
I'd estimate about 20 years ago I saw a British comedian called Ross Noble who did this. He almost acts like he's got some form of ADHD where he is permanently distractible, will switch topics mid-sentence because something else gets his attention. Someone came in late, so he asked them what took them so long. Someone wearing a hat catches his eye and he makes a comment and goes off on some tangent. Those tangents can be minutes long. Eventually he always goes "right, now where was I?" and resumes the scripted/rehearsed part of his show.

And then... in the final minute or so of the show all of those seemingly random distractions and tangents come together to tie up the various stories and jokes he'd been telling! Decades later when I think about it it still blows my mind. They can't have been random at all. I've no idea if the various distractions were plants, or maybe they never existed at all and everyone in the audience just thought we were all too far away to hear whoever he was talking to? It was such a flawless execution though, only heightened by the fact he'd convinced you he was a rambling unfocussed mess for most of the night.
Understanding 'Understanding' (2019)
Life has taught me that the most unstable thing in life is social connections (including friendships)
>even in your cherry picked examples they're unfortunately morphing all over the place

they're kids doodles. being a bit wonky is part of the charm, i think its a great use case for where ai animation is at the moment.

If this was wedding photos we'd have a problem :D
Hey can someone who is not enrolled in degree attend the course on campus if they live in bay area? Also would they provide materials online? This looks like awesome course btw.

Murat dermibas comes to mind.
I mean the solution would be to have a different test table an also a test lambda. You can deploy to test lambda and test it by changes to the test table.
I actually built something similar last week

https://bestefforttools.com/workouts

I wanted something to create realistic yet slightly randomised warm ups and finishers - similar to CrossFit wods but more structured.

Behind the scenes I use a formula that estimates a total work capacity.

Feedback welcome!
yes, I was thinking more of having a kind of "dotfile" approach to all my configs for automation on macOs, as there are so many different overlapping apps like BTT, KeyboardMaestro, skhd, Kando, Alfred, etc

I'd love to have a `.automation` folder in my home where I can add descriptions of all my menus, keyboard shortcuts, scripts, Shortcut App scripts, BTT config, etc, and each time I modify them it updates in the app

It would be nice to have a kind of overview of all my automations

Also I'd like it that each file is some kind of "executable markdown" container which can contain textual description, images, etc, and the scripts/configs themselves, and the bindings

Something like this

--
name: emoji-picker
author: xxx
description: Various emoji-related bindings
version: 1.0
url: xxx
license: ...
--

```@deps
ts: mdex>=1.0,<2.0
```

```@deps test
// deps only for testing, etc
```

```@include
// can seamlessly include other .mdex, libs, code, repos, etc
```

# Open emoji picker

The Raycast emoji finder is clean and easy to use, so I'll use it instead of the system picker

```@code ts openPicker
const openPicker = async (prompt: string = "") => {
api.url.open(`raycast://extensions/emoji?prompt={prompt}`);
}
```

```@test
// define some code to run tests and ensure everything works
```

## Trigger on `fn` key

```@binding key
trigger: @on(platform == "darwin") key=[fn]
action: code openPicker @(openPicker();)
# equivalently, action: api open("raycast://...")
```

## When called as a CLI, allow to pass an optional prompt to the emoji picker
This installs an `emoji` cli, which parses with an optional prompt
```@binding cli
name: emoji
args: [prompt=""]
action: code openPicker @(openPicker(prompt);)
```

## Add custom bindings through extensions
```@binding ext:alfred
keyword: emoji [query=""]
action: code openPicker @(openPicker(query);)
```

## Every hour, refresh the emojis
```@binding cron
every: 1h
action: code openPicker @(refreshEmojiData();)
```

## Create an UI
```@binding ui
name: emoji-ui
layout: ...
html: ...
css: ...
```

## Usage:

```sh
mdex list emoji
mdex info emoji-picker
mdex install @user/emoji-picker
mdex install emoji-picker.mdex # install or refresh script, install deps, setup key-bindings
mdex test emoji-picker.mdex
emoji "clown" # cli
mdex uninstall emoji-picker
# or trigger the `fn` shortcut
mdex logs emoji-picker
```
I hate faults like that.

Used to work in PC repair. Man brings in PC, mouse right click doesn't work. Everything else operates perfectly.

Replaced in this order: mouse, IO card, hard drive with fresh OS, RAM, CPU, graphics card, motherboard. Still no right-click.

Replaced the PSU last. Right-click works. FML.
rust is in the kernel to attract the young developers, which ada does not.
> As an Australian we have payid to transfer free and instantly between banks

That... is what SEPA is, but built into the european banking system directly.

> I think he's right that if you are relying on IBAN and needing to do an individual bank transfer then it's not ideal.

It's not ideal that you can do a simple transfer by inputting the recipient's IBAN and an amount and be done with literally no third party involved? What?

> imo it would be better even setting up a basic kofi or buy me a coffee account, or I see the Ukrainians using paypal all the time.

You think it's easier to require setting up a third party account, adding your card to it, getting the card authorised, and doing the payment that way, with fees.

Than putting 20 digits in your own bank's application and pressing "send"?

> It should be a 3 click payment not a bank transfer requiring copying and pasting IBAN numbers and bank account numbers etc

It's a SEPA transfer, it's super common and nothing very complicated. There is no bank account number involved: the BIC is the bank's own identifier, and while it was commonly required 10 years ago it's been optional for a long time, my bank's application doesn't even have a field for that anymore.

There's a standard format for qrcode SEPA called EPC (https://en.wikipedia.org/wiki/EPC_QR_code), however the amount is fixed which is not always desirable e.g.

- qrcode for a 133.70€ donation https://epc-qr.eu/?bname=CCC%20eV&iban=DE41%202001%200020%20...

- qrcode for a 13.30€ donation https://epc-qr.eu/?bname=CCC%20eV&iban=DE41%202001%200020%20...
> If you're trying to send from America, it's still the normal way to send a payment to Europe

It’s not; SWIFT is, and that requires additional information not shown there (although some of it is encoded in the IBAN if you know how to decode it).
Ten things in tech I found joy in during 2024
Having left UI standards and trying to be an app.
Measuring and Understanding LLM Identity Confusion
I call this “The bitter cycle”, after the famous essay.

1. Someone finds a new approach, often based on intuition or understanding.

2. People throw more data at it claiming that only data matters.

3. The new method eventually saturates, everybody starts talking about a new ai winter.

We had this with: perceptrons, conv nets, RNNs. Now we see it with transformers.

My guess is the next iteration will be liquid networks or KANs, depending on which one we figure out how to train efficiently first.

The good thing is that people have been working to build an understanding of why these things work for the last 20 years, so the period between the cycles gets shorter.
I use this feature all the time, and never have to auth on my phone... Do you have some higher security setting than default, like requiring passcode and not allowing biometric unlock?
OpenAI says it needs 'more capital than we'd imagined'
Which is still abysmal compared to what a modern Wi-Fi chipset can push, even in the real world. Even an old home-grade Wi-Fi 5 AP can push >400Mbps over the air in real-world conditions. And the Wi-Fi 6/6e/7 devices can go well above that.
> I will not buy a car that does this.

Unfortunately it looks like that might be pretty hard:

https://foundation.mozilla.org/en/privacynotincluded/article...
>If you’re out of key fob range do you really need to pre-heat the car?

Yeah, that can save 15 minutes of scraping the windows for snow and ice in the morning and afternoon.
Eye Shapes of the Animal World Hint at Differences in Our Lifestyles
It's been long time coming, Russia needs to be dealt with.

Give Ukraine a couple hundred longer-range missiles, let them attack the oil fields, powerplants, refineries etc. Seize the shadow fleet tankers. Sanction Russia for real.

It will be cheaper and safer than the alternative. If we did this 2 years ago this war would be over by now and hundreds of thousands of people wouldn't die for no reason.

Every month of delay makes the costs higher and larger-scale war more likely.
What about software?