skysight-inc/HackerNews huggingface dataset:
> Do people just assume it's compromised

One of Tor's weaknesses has always been the exit node problem, where things can be seen in the clear unless encryption is used. And sometimes it's not used, so personal data can be gleaned through exits.

Another weakness is the Tor Browser Bundle itself. I'm not certain if it's 'compromised' but we'll never know, due to the secret nature of 0-days. People don't take extra caution and connect to Tor with a specialized Tor router with a kill-switch / fail-closed system, thereby mitigating real IP leaks.

There's also a more academic in nature problem of a 'bird's eye view' of the Tor network, whereby if you control and have insight into all the hops a Tor user makes, you can do correlation attacks, but I'm less concerned about that than the other two weaknesses I mentioned.
Reminds me of https://github.com/alufers/mitmproxy2swagger which I discovered from this thread https://news.ycombinator.com/item?id=31354130

I generated some specs from that!

I ran into trouble keeping them up to date.
The whole church is completely covered in innumerable fractals of catholic symbolism and its main tower will be topped by a 29 meters high cross. Maybe you just don't like the style, which is understandable as it is quite divisive.
Thanks Paul, appreciate it. Still trying to reach out to anyone and everyone.
What CEOs talked about in Q1 2024
Three themes gained noticeable traction in Q1 2024: 1) AI, 2) sustainability, and 3) elections.

AI discussions continue to move away from ChatGPT and other chatbots and toward individual technologies, especially GPUs and LLMs

Economic topics like recession significantly declined, though inflation saw a bump in mentions in Q1 2024.
Gaudí was incredibly ahead of his time with the design of the cathedral. Even as a non-believer I highly recommend that people visit this building at least once in their lifetime. It's unbelievable in person and I actually got vertigo looking up into it. It's a truly awe inspiring building and it's shocking that it was designed in the 19th century.
The also spend millions of dollars every year. I don't think many airline companies are actually very profitable right now. Take a look at any airline stock for the last 10 years, they were at a plateau before the pandemic, they are just at a lower plateau after.
Pay again then chargeback previous payment. You have full right to chargeback extra money.
It looks like this was given a second chance by mods, and moved to the front page, as it was originally posted 2 days ago, not 3 hours (at the time of writing) [0].

What's interesting is that it's the one with the editorialized title that has been rescued, despite this being against the HN guidelines.

[0] https://news.ycombinator.com/from?site=visdeurbel.nl
[1] https://news.ycombinator.com/newsguidelines.html
Also Display List Interrupts: they made more colors per screen and other things possible.

https://www.atariarchives.org/creativeatari/Display_List_Int...

https://playermissile.com/dli_tutorial/

It's great that today you can get so much information online. Back then it was much harder so I could never quite wrap my head around that stuff as a teenager.
This looks interesting - it seems like it wouldn't be a huge lift to turn this into something that compares against an existing spec too. create an AutoSpec, take your defined spec, and spot the difference.
> Of course, what about a trinity of AIs with quorum?

Caspar, Melchior and Balthazar?

I suppose we could, but I think we already know what lies at the end of that road.
Right but that may not preclude testing via auxiliary indicators. It could prompt other changes that you could test for, but, you're right, I'm assuming that's just not possible.
A few years ago someone was raising new questions about the validity of this study, it doesn't seem mentioned in the wikipedia page and I don't know how/if it was resolved or settled:

https://www.sciencenews.org/article/russian-foxes-tameness-d...
the /s is so i don’t get banned for non sarcastically proposing obvious classical conditioning methods (that would be undoubtably uncomfortably effective) against what appears to be a severely disadvantaged and traumatized population.
“Getting Started In Electronics” by Forrest Mims. Start from there.

http://www.forrestmims.org/publications.html
It’s an interesting question. I don’t know if there’s any evidence of wolf domestication by Neanderthals. If they didn’t domesticate them, it would be interesting to try to work out why – maybe there’s a subtle difference in psychology between H. Sapiens and H. Neanderthalensis that enabled us to bridge that gap but not them?
The Reed College (IIRC) student handbook had some good advice, including something along the lines of:

* remember that you will be extremely tempted to answer complex questions like What Is Love? and Who Is God?

* when you are actually unable to answer simple questions like What Is Toothpaste? and Where Is My Left Foot?
Staying within the tool to manage cases is good vs shelling out to Jira or another ticketing tool. Folks with purchasing authority typically want their analysts in the tool as much as possible (in my experience; you may find customers who want to open incidents elsewhere so keep that interface in mind).

Also a good choice in storing logs. Make a margin but don't be greedy, otherwise you turn into Splunk, where folks don't want to use the product effectively because they can't afford to. Make it easy to route logs to S3 cold storage or other "reliable enough" object storage systems based on criteria, but retaining the capability to retrieve them if needed for forensics or compliance/audit sampling. Log storage intervals are traditionally some variation of 30, 60, 90 days, a year, seven years, etc. Architect accordingly based on your customers' record retention schedule(s), control/compliance requirements, etc.
The HTML Hobbyist on Neocities
The cold thing was the biggest surprise when I was in Barcelona one November
Great start! I was on the SE side of Phantom pre-Splunk. One thing I see a lot of traction in over the last year is data warehouses like Databricks & Snowflake and dumping OCSF data into those. I think an area where you can outshine is by offering something like Clickhouse as a data lake alternative along with OCSF as a schema for a bulk of your builtin integrations.

If you want to chat regarding feel free to reach out.
LLMs Tokens/Second Benchmark ( Mistral, Llama2, Gemma) – Independent Research
Whereas dogs were trained/bred/selected for specific purposes, I suspect cats were just kind of hanging out, following rodents which were were adjacent to human settlements.

It's easy to imagine humans simply tolerating them because they kept mice under control around grain and other food storage.

Intuitively that matches my perception of the cat-human relationship vs. the dog-human relationship.
It's always been that way, just how many nines of reliability we're talking about. E.g. at Google scale, bitflips in memory from cosmic rays and general noise happy every day. Everything has checksums on it.
For travel routers there’s travelmate for OpenWrt
https://github.com/openwrt/packages/blob/master/net/travelma...
Ye it was domimating among techies at some point. I think the tab feature was the selling point?
Inclusive Sans: Text font designed for accessibility and readability
It's not possible to pay by credit card again — just get a generic error when trying to open the payment form. So it would have to be by wire transfer, for which there are no chargeback protections.
Check this out - https://www.inferless.com/learn/the-state-of-serverless-gpus...

Btw, I am the founder of Inferless.
I've always advocated for a "no confidence" vote option.

If it gets the majority of votes, candidates currently running are all disqualified and replaced then a new election is held. This repeats until a candidate can beat nobody.

Enough of this lesser of two evils nonsense, we deserve at least 3 evils to pick from.
What value would this add to humanity?
It beats AI/Musk/Passive Income!/etc. (my opinion)
You only have to serve a 200 and the index for valid routes to have frontend routing working.

The complaint is serving a 200 for invalid routes, which breaks all kinds of things and violates web standards.
They should go to http://169.150.211.2 and see if that gets blocked. I get a "Welcome to nginx!" page there.
The term "formal methods" covers a wide range of stuff, though. Basically we're just talking about mathematically rigorous approaches to code.

The high-water-mark, which is stuff like formal proof of correctness or proof of worst-case runtime, gets a lot of attention; but there are plenty of valuable approaches that are less expensive.

You can do, for example, formal proof of the absence of runtime exceptions (e.g. no bounds check violations), which doesn't require a formal specification and tends to result in a lot of theorems that are easy to prove automatically.

Or you can do data and information flow analysis, which will let you verify that you don't depend on uninitialized values of variables or make sure that your expectations about how different inputs to a program should affect outputs ("hey, why doesn't the weapon release discrete depend on the weight-on-wheels sensor?")
In Germany, we have cities with identical names, too (Frankfurt, Halle, most likely others I am unaware of). But being a much smaller country, it doesn't lead to much confusion.
What really grinds my gears is that a networking team believes the culprit is a static DNS that "conflicts" with their DNS.

Like...

"My car won't start."

"Oh, OK, have you tried waiting for the traffic lights to go green, as designed by the Principal Road Engineer?"
When I was looking for a configuration management system, I too was impressed by cfengines theoretical underpinnings. however I also went with ansible. mainly because the cfengine story was "commit your entire configuration world immediately to cfengine" and ansible's was "you don't need to commit to anything, we will ease you into it. first, here is how you run a command remotely...." Not needing an agent really won me over.
How to criticize computer scientists (2001)
From https://www.cs.purdue.edu/homes/comer/
uni-algo: Unicode Algorithms Implementation for C/C++
I would file a lawsuit. Guaranteed that Meta will respond to a lawsuit. You've provided Meta with all the evidence they need and they refuse to acknowledge it. The courts will help them see things your way. Be sure to include your attorney's fees in the suit.
Getting Started with NVMe Base for Raspberry Pi 5
UK imposes sanctions after Chinese-backed cyber-attacks
dogs are omnivores.

most kibble is vegetable based
I am old, too, but for me the term "full stack" only showed up during the last decade or so, in connection with web programming, meaning "frontend and backend". I never heard anyone using it your way. Actually I think I never met anyone coding devices drivers as well as GUIs :-)
My wife teared up and I was stunned. We arrived in the morning and the light was pushing the color out of the stain glassed windows! My neck was sore for a few days after looking up at the ceiling so much.

Waiting in line outside was even fun, just looking at all the detail.
The Atari 8-bit machines were ahead of their time. Their graphics are so good that an architecture first sold in 1979 was still market-competitive among other inexpensive home computers in 1987, when the XEGS appeared as the last new model in the series. About the only thing that one might miss is built-in 80-column graphics. The entire line was (more or less) compatible with each other from start to finish, too; far better than Commodore, which over the same time period sold at least five different 8-bit computer lines, all mutually incompatible with rare exceptions. SIO is far superior to Commodore's jumble of serial, user, and cassette ports, too. (Did I mention that this all appeared in 1979?)

Arguably Atari's sophistication was a disadvantage. The need for custom ICs, without an in-house fab like Commodore, and a focus on quality manufacturing as opposed to Commodore's slipshod methods caused the 8-bit line to be far too expensive compared to competitors; in 1979 one might as well have bought an Apple II and gain a larger library, far more expandability, and the amazing Disk II. By 1982 the Commodore 64 brought (slightly) superior graphics and sound at a far lower price. The key year is 1983, when Jack Tramiel waged war on the entire rest of the industry with massive discounts on the VIC-20 and 64 leading up to Christmas; the primary opponent was TI (which indeed surrendered in November), but Atari was collateral damage.

That need not have been fatal for Atari, but a) product shortages of the new 600XL and 800XL models in 1983 because of mishandling of Asian production, b) the massive losses that parent Warner Bros. suffered from the collapse of the video game market (which Commodore's aforementioned price war contributed to), and c) consequent sale of Atari to the same Tramiel after he quit Commodore, caused developers to shy away from new software releases from 1984 onward. Once the software disappeared, so did customers.
Some interesting points raised by other comments to this post. My best guess is that he meant that you could have a traumatic experience afterwards that leaves you worse than before. Maybe (just spitballing) whatever mental defences you have against trauma are enhanced by not being too plastic.
Bacalhau 1.3 with Experimental Container-less Execution
Ask HN: When was the last time you used your tech skills for a real life task?
Personally, I compute in 3 ways:

1. Professionally
2. Recreationally
3. Personally

Personally as in, I need to accomplish a task in my normal life, and I use my computer skills to solve it in a way a non-techie wouldn't be able to.

For example, today on Reddit someone asked: "Is there a word, in english, that has the letter ‘V’ and is not followed by a vowel?"

So I ran this on my mac:

egrep '^[a-z].*v[^eaiouy]' /usr/share/dict/words

The part at the beginning means that the first letter should be lowercase (imo proper nouns don't really count)

And voila, a buttload of them showed up!

I've also used my cybersecurity knowledge to gain access to devices who's security was protecting me from myself, and done the same for many friends.

I enjoy things like that. What about you? Any such small personal tales?
TIL you can actually get a single binary to execute in multiple operating systems.

Redbean in general seems great and really interesting.
Cryptsetup-Suspend (2020)
Well, why is it so hard to get reliable access to power or water? I can think up reasons, but you've got the background to tell me why.

Are there innovations in material science and technology that make things possible today that weren't 20 years ago? I have a shower attachment to tell me the temperature of the water, and it's powered by water through the device so there are no batteries to swap. I imagine the industrial versions must be so much more advanced than a gadget I got off Amazon.
Not a huge surprise here.
>Editing to add: One avenue that would probably work fairly well would be to get a lawyer to send a mean letter to Meta's general counsel. $40k is enough money to make the hourly rate worth it, and an attorney will be happy to help further if Meta tries to be punitive.

This 100%.
Did anyone see a fish? I've been watching the livestream did not see any. Luckely they have a gallery with the best pictures.

I wonder how deep the camera is. There is even a picture of a bird under the water
5% on a 12v rail is 0.6v

Chinesium PSU went way lower than 11v and... would you pay 5% more for the every HDD not to have a problem if your sub $20 PSU is sub $20 one?

You quite literally wouldn't jave a problem with any HDD if you invested $20 more in your PSU.
Since the exosuit will be controlled by a CPU, I rather would bet on genetically enhanced super soldiers.

(but I do not believe in doomsday AI at all)
Innocent St. Louis family terrorized in SWAT raid over stolen AirPods
I know. I was just curious if there is any other country that revere cows.
My top resources that guide me as a beginner indie hacker
The issue is that even in the case of RPS-game you should use 3 events model: A-win, draw, B-win. This implies optimization over matrix with 2 component vectors. You can reduce the problem with some measure over this vector, for e.g. favoring wins if you have a strong team, or draws otherwise. But then it's unclear, what is the best measure for your exact case, turning optimization problem into measure study problem.
int Mid = (high + low) / 2;

The above line is easy to formally prove correct. However it is wrong - if high + low is greater than int_max on your system you have a bug.

I'm still in favor of formal proofs, but there are limits to what it can do.
Albert Hoffman was working for Sandoz: https://houseofswitzerland.org/swissstories/history/swiss-be...
Because there's so much to properly running it. Individual component updates, network policies, certificates, backups, monitoring, authorization, authentication, secret management. Kubernetes makes it all relatively easy and k3s (or k0s) ain't that scary.

K3s, Calico (or whatever you prefer), Istio with cert-manager and self-manager CA (or whatever you prefer for your service mesh), kube-prometheus, OTEL or Jaeger for the mesh visibility, pick the operator (I used Crunchy Data operator but there are at least two other solid choices), will get one far at low cost. Of course, use reliable infrastructure provider of one's choice.

No need to think about placement (one still can if they want to), addressing, firewalling, DNS, IP assignment, and so on. Add nodes to the cluster as necessary and let it sort itself out.

Some understanding of Kubernetes is necessary, indeed. But it's a stack usable every time once learned.
Tennessee Makes A.I. An Outlaw to Protect Its Country Music and More
Embedded Sensors with 3D Printing Technology: Review
I agree with you but still want to play devil's advocate regarding you argument:

> [It's easier to write specifications than implementations because] in a specification I can specify outcomes without having to say how they're achieved

It's even easier to write a few "unit tests" that "specify" intended behavior, write code that passes those tests, and then worry what to do in edge-cases when they happen. This way, "correct" isn't a meaningful category, there's only "incorrect in retrospect". This is how most software is made and for most applications I would expect cost-benefit analysis to favor it.
I mean, reasonable people can differ about whether a link from their readme is what you're after, but they have a YT video on their website, their own YT channel <https://www.youtube.com/@themirrorgdp>, and a bunch of screenshots. That "fade in on scroll" horseshit can't die fast enough IMHO but pressing pagedown about 15 times will pull in all the content, and then one can go back to the top to actually see what's going on
I'm not sure what is 'opinionated' about this approach. It seems like a pretty standard and reasonable way of correctly serving an SPA in a way that doesn't violate web standards.
> Windows XP looked like a toy

Hence it was and still sometimes is being called Fisher-Price. Microsoft had to drastically change their flagship project so it would be attractive against OSX. The Whistler's Watercolor theme that existed during beta period was good but wasn't enough for the final release [1][2].

That period was full of candy/toys/glass/acrylic GUIs. Apple had Aqua, and Linux distros had Keramik and Plastik window/widget themes with Crystal icons in KDE. The latter become preserved in the Trinity envirnoment [1] since KDE moved to Plasma in version 4, which looked to me like a Vista's Aero step-sister [3]

[1] - https://www.betaarchive.com/wiki/images/7/77/Windows_Whistle...

[2] - https://guidebookgallery.org/pics/gui/desktop/full/whistler2...

[3] - https://upload.wikimedia.org/wikipedia/commons/thumb/e/ee/KD...
> How are you implementing SPAs in a way that you can't return a 404?

Not specifically me, but a lot of SPAs have their own routing.
So you would go to

https://my-spa.com/user/39820002/post/39811155

When you hit that route, the webserver returns /index.html with the JS bundle, the JS runs and matches the user ID and post ID from the URL and then maybe makes some API requests to fetch content of whatever, I mean the SPA doesn't have to be backed by an API anyways, could be purely static but still use a router.

In the React world, react-router is (was) pretty popular:

https://github.com/remix-run/react-router

That's a library that works exactly that way, relying on every route being passed to the JS bundle for handling, so the webserver needs to be configured to never return 404 and just return the index.html for every route, here is an example of what this looks like from the docs of Caddy, another popular webserver with a pretty easy to understand config format:

https://caddyserver.com/docs/caddyfile/patterns#single-page-...

It's a "Single Page App", you may have many pages being rendered by this app, but it's a single html page that is responsible for doing this.

Now – SPAs are not as popular as they used to be, and there is an argument to be made that they aren't the best solution in most cases with what's available now, regardless of that they do exist and this appears to be a web server specifically for them so having the option handle SPA routing as it's commonly done, does make sense.

And I think for stuff like internal management apps, admin panels etc. SPAs with their own routing are still a decent solution.
Flash carts for 30-year-old and older retro consoles often require FAT32. Think everdrive.
> "tapping the pad to click rarely works" is unambiguously defective

Sure but here I'm using defective to mean an uncommon manufacturing defect that can be fixed by simply replacing the part. If the component is just badly designed or manufactured and such failures are typical, it would just be a junk part and getting a replacement wouldn't be likely to help. I wasn't sure if it was the former or latter.
https://archive.ph/ZOPRG
Mozilla says the following about HTTP 103 Early Hints:

> Note: For compatibility reasons it is recommended to only send HTTP 103 Early Hints responses over HTTP/2 or later, unless the client is known to handle informational responses correctly.

> Most browsers limit support to HTTP/2 or later for this reason.
Indeed, for a cost-effective approach with a static host, why not generate placeholder HTML files for all valid routes at compile time? Alternatively, using Astro or a similar tool would be a wise choice :)
Nice, sadly this is not available for Linux
Judge throws out Elon Musk's X lawsuit against nonprofit
That's cool. Hacks into our ability to recognize faces, without requiring real faces. A forum, where these avatars are randomly generated per thread would be cool. Kind of like /pol/ thread ids, but easier recognize.
A friend of mine noticed his hair had reached a certain length when people stopped trying to sell to him and started trying to buy from him.
Genera embedded in Macs and SUNs, running on the MacIvory and UX boards. For example the Symbolics graphics suite was available on Macs, running on the MacIvory board and a NuVista graphics board. There were also talks to expand this to other hardware like Sony News.

See also "Zora" : https://www.ifis.uni-luebeck.de/~moeller/symbolics-info/zora...

IIRC, that was used in an ATM switch, with network switch software running on top of Minima, "a real-time Lisp run-time environment and operating system for the Ivory processor".
> they aren't the best solution in most cases with what's available now

What's available now that superceds them?
I gave you a succinct explanation of why exfat won't work everywhere, and you are basically denying that it's relevant. This attitude is reminding me what being a Microsoft employee was like.
Order granting motion to dismiss and strike in X Corp vs. CCDH
If food was free, no one would pay for it. But it isn't free.