skysight-inc/HackerNews huggingface dataset:
Tlsd: Generate (message) sequence diagrams from TLA+ state traces
Something like spaceflight is subject to chaotic forces and unpredictable interactions, so having that many digits (more than 15 decimal) becomes negligible. (For example, a planetary force will probably vary by that much in ways models don't capture, like subtle tidal forces and subtle variations in its orbit, etc.). Navigation usually involves methods of measuring your position and adjusting course in theory needing much less precision.

Simulating physical systems to extremely high precision (e.g. more than double precision) in general seems pointless in most situations because of those effects.
What Happens When a Powerful Corporation Owns the Local News?
Interesting. I posted on the micro four thirds subreddit recently asking if the Panasonic app integration was any better than Olympus' (which ... isn't good) and commenters seemed to agree it was not.

I'll consider a switch to a Panasonic for my next camera, since OM Systems seems mostly moribund.
You could do a compromise - write a book on crafting interpreters that use Truffle to be partially evaluated into compilers.
The throwaway line in TFA about village life and the section about common law recognizing no right to privacy both highlight my thoughts on this. In prior years we didn't have cameras preserving all our moments in 4K for all time, but as humans we had so little happening in our hamlets/villages, that most of our neighbors knew everything about us and all of our individual actions were never forgotten. Just like how you still remember all the embarrassing things different kids at your high school did (for me, 20+ years later). Life in a village was likely that same dynamic but for a person's whole life, not just high school
Rising seas wiped out an entire US species
Intuit lays off 1,800 to make space for AI
It's really not that hard to have a smart TV and simply not connect it to your network. They'll beg to connect, but I haven't seen one that will refuse to function without an internet connection.
> Was about to type out a comment defending China

Right. You spewed standard anti-china propaganda in your other comment and yet we are to believe you were going to 'defend china'. Good one.
Yes indeed. It's quite a journey. I think I wasn't quite ready for it the first time so it's on my list to visit again soon.
There's no value _to Apple_ (in this scenario) to building ethernet-over-HDMI to let your TV sell you ads, because Apple isn't seeing a cent of that.
I know I've tried. And every time it was "just a standard part of the contract" and "not up for negotiation".

Yes, they'd rather lose me as a candidate than offer a one-off contract change. A surprising number of places are like this - the perceived cost of maintaining a unique contract over the years is greater than the value provided by any possible engineer.
Show HN: I built a climbing-based VR puzzle game
In each level, the goal is to climb to the top of the wall. Each wall has a unique layout of handholds, magnets, hooks, and elevators, and only one path to the top. The challenge is finding the right combination of moves to get you there.

After each unsuccessful attempt, you can view the entire wall from afar to plan your route and strategize before trying again.

I just released this on App Lab and would love to get some feedback and see how much interest there is in the concept. It’s listed at $3, but if anyone here wants a free key, just email me at john@solvethewall.com. I also set up this Discord for feedback: https://discord.gg/KVQfhcbZ.
It's a "non-conforming feature" but it's still a part of WhatWG's standard as obsolete, including what it should render as: https://html.spec.whatwg.org/multipage/rendering.html#the-ma... and https://html.spec.whatwg.org/multipage/obsolete.html#the-mar...
Well, likely necessary to determine a unique and comprehensive, consistent model (or equivalence class thereof)

There's no guarantee such a model can be determined via an observer in the universe the observer is observing.

Functionality though, yeah that's the goal to either find such a model or show that one can't exist, or can't be proven one way or the other.
I think that vouaobrasil was talking about scanning on the behalf of others, not scanning that you're doing on your own data. Scanning your own stuff is automatically and naturally an opt-in situation. You've consciously chosen for it to happen.
Niklaus Wirth has entered the chat.
128 bytes is only 4 32-bit characters. Now, I think 4-byte UTF-8 characters are pretty rare, but at least 3-byte ones are certainly common in names, even legal names.

If you allow users to type emojis in their name you will definitely run out as the color/gender selectors take up an additional code point.
> did Trump scribble out the classification on these documents, to at least make it seem like he declassified them?

No. But it’s an open question if him thinking it changes their classification. ¯\_(ツ)_/¯

> when did he transport them to his compound? Was he still president at the time?

He removed them from the White House before Biden was sworn in.
Hey Nadim here the maker of PunyPress. Appreciate you checking out my post and just wanted to answer the two questions I get a lot:

Why do I have to type something in the URL bar?

- An app or chrome extension may have been easier but I wanted this to work on for ppl on desktop and mobile regardless of what OS you use so web browser was the best solution. I put extra effort to make sure this looks nice on mobile too.

Do I really have to sign up to generate summaries?

- I def understand the reservation ppl have about this and am trying to work around it but for now the answer is yes. The main reason is cost control since I'm using an API to generate the summaries. There are some free summaries at the bottom of home page that you can check out.

Appreciate y'all checking it out!
I get the sense that you are implying that your approach here is necessarily more optimal than mine in an absolute sense (as opposed to superior in a normative, "Overton Window" sense...I can easily acknowledge you are the victor there) - regardless: do you believe that it is? Because optimality in an absolute sense is my core concern.

I have a serious issue with this norm of strongly implied "facts", and then (usually after a multi-comment challenge) a casual "I could be wrong" or "It's just my opinion" as a sort of rhetorical get out of jail free card. I consider this behavior dangerous and irresponsible, especially as an aspect of the default metaphysical framework (aka: story) of a culture: science/scientism, that claims superiority to all others (but refuses to defend that claim, contrary to its scriptures).

Though, I do not think you do it with (substantial) conscious intent or maliciousness, fwiw - tautologically, everyone is doing their current best. But being a non-determinist, (some) free will believer, I think people can improve - and, I believe people can be made to improve, even against their will. Breaking the will of one Human is hard, breaking the will of millions/billions of huma s at massive scale, that's a whole other story. I believe it can be done though!
NSA Claims It Can't Watch an Important Tape It Recorded in the 1980s
Thing is, Poland IS the country a lot of stuff is being outsourced into :)
I worry the normalization of Internet-connectedness in "smart devices" in the eyes of the public will lead to regulation of these devices for "privacy reasons" while offering no real privacy guarantees.

I think the drive for "privacy respect" in devices should really be an effort to push manufacturers toward making devices that work without Internet-connectivity. I think everybody technical who cares about privacy should beat this drum to all their friends, family, etc, to vote with their wallets.

Standalone devices make a stronger privacy guarantee than the alternative.

"Connected" devices that offer "privacy" rely on the compliance of the companies who run the servers for the devices. It also means they can't get breached, either.
They do it anyway, with excess meetings and increased amounts of BS. Example: How many "check-ins" can you possibly need for a 3 person project? It is mentally draining for people trying to get real work done.
Not just Singapore, but there is a curious discrepancy in that the cost of children are felt at the family level but the benefits only at the state level. The other issue is that many educated people (including Elon Musk) realize they can have more impact in their careers, maybe even as managers, than in their children’s lives. Maybe the authoritarians of Singapore need to train their citizens to run and extract value from their charges’ lives more effectively. Other extreme ideas which may work for liberal societies include legalizing child employment for family businesses, collective childrearing, organized homeschooling, family intellectual property, and so forth.
Another article on Chalkin's Algorithm

https://web.archive.org/web/20210830001220/https://www.bit-1...

HN talked about it here a few years ago

https://news.ycombinator.com/item?id=28353464
It's not about telling people to live outside society but instead to be more mindful of how they engage with it. One can live in a city and not own a smart TV, nor a smartphone, nor any IOT devices, etc., but that's not the point I'm making. One can also just choose different devices. Once someone gets to the point that they refuse to buy the privacy-disrespecting device it's not much of a stretch to start looking for a privacy-respecting device.
robots.txt is useless as a defense mechanism (that isn't what it's trying to be). Taking the same approach for AI would likewise not be useful as a defense mechanism.
small but not big?
> We've already invalidated hidden variable theories in Physics

No we haven't.
>He had the permissions turned off, so regardless of what it did with the document, it did it without permission! The title is correct!

Honestly it sounds like he was toggling permissions off and on and actually has no idea why it summarized that particular document despite him requesting it summarize other documents. Google should make the settings more clear, but "I had the options off, except when I didn't, and I set some other options in a different place that I didn't think would override the others, and also I toggled a bunch of the options back and forth" is hardly the condemnation that everyone is making it out to be.
Show HN: MyPaste – Like Pastebin, but Better
Appreciate this comment because I completely agree. I should have touched on this as well in my rant. Most of my normal colleagues are very intimidated by the idea of writing an email longer than a few sentences. To sound even more like an a-hole: most are not comfortable writing in prose.
Oh thank the stars!

> Do note that I believe the current plan is to have two-way sync between files and the db, so presumably custom modification of md files should still work fine. But we'll see how that evolves.

Perfect, fingers crossed. There was a submission Trying TinaCMS a couple months ago that mentioned what sounds similar & ideal to me, Keeping flat files as a source of truth then having a projection of those files in a DB for faster querying. You can just throw the whole DB away & TinaCMS will rebuild it as needed. I love this approach as a way to give everyone what they need, fingers crossed we see similar here with by beloved Logseq.

https://tina.io/
https://cassidoo.co/post/trying-tinacms/
https://news.ycombinator.com/item?id=37988585
> I miscalculated some parts or couldn't predict some needed developments at all

Always apply Hofstadter's law

https://en.wikipedia.org/wiki/Hofstadter%27s_law

Seriously, it will come with experience. There are few shortcuts.
Reading the actual order, the most pertinent part is on page 3 https://www.documentcloud.org/documents/24807232-judge-dismi...

In summary it says special prosecutor smith should have been approved by congress, plus given a budget by congress because he is an inferior official.

And the special prosecutor does not seemingly hold a principal official position that would avoid congressional approval.

My take: the court is being incredibly strict on following the formality of the law in this case. And is not skipping the process in the case of a highly sensitive matter like classified documents. This is rule for the rich and famous. And I don’t think this kind of strictness would have been applied on random joes.
This is incredible from a stakeholder management perspective.

Normally non finance people in the organisation get hoodwinked by investment sales people. Then they pressure the finance guys into perusing a complex high fee strategy.
The G9x MkII is a Canon camera.

FWIW I don't know if they'll make another G9x. The most recent similar camera would probably be the G7x Mk III. I think that's probably the camera I'd get if I were to replace my G9x tomorrow. I'm a huge fan of the small size of this G9x though.

https://www.dpreview.com/reviews/canon-powershot-g9-x-mark-i...

https://www.usa.canon.com/shop/p/powershot-g7-x-mark-iii

I've heard positive things about Panasonic's devices in this market and strongly considered going with one years ago.
hahaha laughed hard on this one.
> Source control is also a mess. How does one “diff” a LabView program?

With LabVIEW, I'm not sure you can. But in general, there are two ways: either by doing a comparison of the underlying graphs of each function, or working on the stored textual representations of the topologically sorted graphs and comparing those. On a wider view, in general, as different versions of any code are nodes in a graph, a visual versioning system makes sense.
Related discussion from 2 days ago:

"Firefox added [ad tracking] and has already turned it on without asking you"

https://news.ycombinator.com/item?id=40954535 (170 comments)

--

Also, there are two options to disable the ad tracking behavior:

1. Use LibreWolf instead — Advantage: This is also a long-term solution :)

2. Follow @thangalin's instructions to disable it in Firefox:

> Step 1. Visit about:config

> Step 2. Set dom.private-attribution.submission.enabled to false

Credit: https://news.ycombinator.com/item?id=40955221
Same, I've been pretty impressed as well and typically give Claude a shot. Sometimes I even pass their results back and forth in an LLM collab so they generate more diverse perspectives. However, this paper from 4 days ago shows that Claude can fall apart quickly in out of distribution tasks. If you ask opposite day questions, GPT-4 is weirdly strong at it (figure 2).

https://arxiv.org/pdf/2307.02477
This article really hits home for me. I've been working on a tool called Code Charter, which aims to do exactly what you're advocating for: provide visual representations of code that make it easier to understand.

I'm taking a slightly different approach than some of the tools mentioned here. Code Charter uses successive LLM calls to distill the key patterns (i.e. business logic) in code, creating a semantic map for call graphs in a codebase. This is useful for understanding the architecture of a project and, during development, for moving between the high level and the implementation code.

It is still in development and will be released soon as an extension for VSCode.

Check it out if you're interested: https://github.com/CRJFisher/code-charter
There's a JSON format of the blueprints that you can see when you copy/paste. Its just a bit ambiguous than the usual binary format. Its not an impossible problem at all.
> We've already invalidated hidden variable theories in Physics

Not quite, see e.g. https://en.wikipedia.org/wiki/De_Broglie%E2%80%93Bohm_theory
I got 40 without "div" and tried 4 invalid ones.
I discovered this years ago, and it's what made me start stop bothering with robots.txt and start blocking all the crawlers I can using .htaccess, including Google's.

That's a game of whack-a-mole that always lets a few miscreants through. I used to find that an acceptable amount of error until I learned that crawlers were gathering data to be used to train LLMs. That's a situation where even a single bot getting through is very problematic.

I still haven't found a solution to that aside from no longer allowing access to my sites without an account.
Another example of good visualization is the Node Event Loop from this JS Conf talk - https://www.youtube.com/watch?v=8aGhZQkoFbQ
Neither marquee nor blink?
> to connect two objects it is necessary that they be in physical contact

I can imagine a way to connect an object to another by selecting the latter's name from a drop-down menu of defined objects. A visual equivalent of a function call.
This. Pretty much with complexity analysis, you factor out any constants and only look at the term of complexity with the highest growth rate, so you end up with 1 < ln n < n < nª < 2^n (this can be extended indefinitely by replacing the n in the last case with anything to the right of n, but in practice, these are the only ones that matter.
I don't see how that follows. Almost nothing about what we've discovered is human-centric, we've had to build machines to sense beyond our human perceptual limits. In what ways are gravitational waves detected by LIGO human-centric?
I don’t know for sure, but I have a hunch this strategy has done below-average for the past 10-20 years, because most of the above-average returns have been driven by growth stocks with low dividends. Stock buybacks have also become a really popular way of returning value to shareholders instead of dividends.
System Design Sketches
Video Artist Bill Viola Has Died
Webb Space Telescope's latest cosmic shot shows pair of intertwined galaxies
How does the attention operator in transformers, in which input data is multiplied by input data (as opposed other neural network operations in which input data is multiplied by model weights) fit into the notion of a universal activator?
<samp>, <var>, <kbd> are definitely weird ones. Maybe <kbd> would be more useful with some better default styling. I think <output> has some accessibility wins but I've never seen someone use it. <dfn> is a good pick, <abbr> is also up there with questionable semantic tags. <del> and <ins> are basically tailor-made for rendering diffs. <ruby> is really useful for Japanese, doing that styling manually would be a huge pain, but niche for sure. I'm happily surprised <small> survived. I still miss <center>.
Of course. But it is still relevant when discussing why one should not discount the knowledge you have by being deep in an industry.

Yes, he would have lost less money if he hadn't gone so deep here. But he still would have lost his investment had he put 5% in or whatever. The point is that even deep knowledge about an industry isn't going to ensure winning picks.
What? All you need to do is resubmit the request without a Referer header. For me, using Firefox, this meant clicking in the address bar, changing nothing, and hitting enter.

That's hardly "no ability to do anything about it".
Burns from Scorching-Hot Sidewalks and Roads Are Rising, and Can Be Fatal
Yes, it's much more rare and completely curable simply by cutting the bad part off. But Jobs chose a diet of fruit juice and hubris (mostly hubris) to try and fix it and he died because of it.
You confused bits with bytes. 128 bytes can encode 32 4-byte long characters.
Women who make Samsung semiconductors are striking
I had to slightly rewrite the title to get it to fit within the 90 character limit.
Any signs of Sagan's conjectured graffiti yet? E.g. pictures of circles?
https://archive.ph/KZkfa
OpenAI can barely enter 1 market without tearing themselves apart in the process. If they started replacing literally everything I own, I would probably consider subsistence farming and letting Sam do whatever he wants with the corpse of our society. There's no value being part of an anarchist state run by an "effective altruist" benefactor, it's tantamount to eating from the hand of fascism.

Thankfully I don't have to worry about that though, since OpenAI's dysfunction is pretty much the only innovation they deliver on these days. The concept of "AGI" will be what we laugh at on Saturday Night Live in 2028.
This is a heartbreaking work of staggering genius.
I know it was a monster-of-the-week format, but this episode really stuck with me. Created sentient life to never be discussed again. Data is only special in that he has a physical body.
Possibly. As you say there's a lot of variance. I don't generally assume that you can get quality healthcare, housing, and food in Europe with no source of income outside of government programs.

And certainly many countries have lower salaries and higher unemployment that the US does in general.
You know, this is actually really insightful. A standard graph format that all these tools could import/export to could lead to a lot more reusable tooling.

The incentives aren't quite there at the moment but maybe someone like Microsoft or Jetbrains takes a stab at it.
I miss the old headlinese. Slam, pan, rip.
Most people just look at the balance and forget (in the self-preservation, "I want to be right" kind of forgetting) that they contribution $20k+ that year so unless you've got a multi-million dollar 401(k) or the market was down 10%+ across the board you're very likely to see more on December 31st than was there January 1st regardless.
Not to mention the display cable, fortunately you can order new hinges and display cables by slamming the thing shut a few thousand times in the right cadence. This is not just a solution in search of a problem but also a solution to the problems it causes.
> I wonder what would have happened if Apple entirely pulled out of the EU market over the requirement.

If Apple feels that their phones, even with the NFC accessible, is still more secure than their competitors, then this wouldn't lead to them pulling out of the EU, even if they feel it is an overall reduction in security.
The history of these discoveries is fascinating and shows that Kuhn’s scientific revolutions idea is wrong but it’s always rounded off to “Copernicus and Galileo” and doesn’t even get them right
These things are already in development, with BeyondATC [0] using some combination of AI and classical "scripting", and SayIntentions [1] using LLMs (?) for everything. Also, both development teams clearly didn't focus on creating nice websites.

[0] https://www.beyondatc.net/

[1] https://www.sayintentions.ai/
>The original arrangement was ...

The original arrangement was the articles of confederation, and explicitly weak federal government which was made as a loose federation of fairly powerful states, each allowed to mostly do their own thing, with a federal government that did as little as possible.

It didn't even make it ten years before it would have died.

The Constitution of the United States was written entirely to give the Federal government actual power and control and teeth. It was very clear that signing up to the United States meant individual states significantly giving away their power. That's why the constitution had so many extreme compromises, especially to slave states.

The US constitution entirely exists to codify the US being one nation.
It seems quite comprehensive, but I don’t see an easy way to test it out. Presumably it’s not a web app or something we can download? I can see it allows you to integrate databases - perhaps that means it has to sit on a server?

I thought the example demonstrations in the videos were most helpful - I see you plan to do more of them. Something showing the set manipulation in more detail would be good since this is one of the areas of coding that people trip over a lot.