skysight-inc/HackerNews huggingface dataset:
"Discussing bans or removals of community members, which may be seen as publishing private information without permission" ... isn't that what they're doing here? Either ban people "silently" without commentary, giving them the choice whether they want to talk about it, or give 100% transparency and share the full details. Making an announcement about it that has half the (one-sided) details is just the worst possible option.

Things like "defending reverse racism" can mean so many things from "oh my God, that's super-racist!" to fairly benign awkward choice in language. We have no idea what it is now, but by making the accusation (without details) there will always be the air of suspicion that maybe, perhaps, they're secretly super-racist. Or something. This is an issue with a number of items on this list.

Not great... Whether the suspension is justified is hard to judge, but it shouldn't have made this announcement, and absolutely should not have published this list.

I'll also add that quite a few of these items seem to be "making assumptions or speculations about other community members’ motivations and/or mental health", which is one of the accusations on the list. Posting "too much" can certainly be disruptive, saying this "creates an atmosphere of fear, uncertainty, and doubt" is just speculating about motivation. This too is an issue with several items on this list.
Are there some good resources for learning type theory?
Thank you, this looks very good with the 1M context window. Does it use any data (schema, etc) for training?
Show HN: AdrenalineAI – Interactive System Diagrams for Any Repo
Hi, Malik from Adrenaline here!

We built a system to auto generate interactive system diagrams to help document and understand any codebase (useadrenaline.com).

Diagrams are often the most useful medium of communicating how code works. But creating diagrams suffers from the same problem as documentation - it’s a pain to set up, and then quickly becomes out of date.

The idea of using diagrams to explain code has been around for a while, but tools to auto-generate these visuals purely from static analysis are often way too busy.
So we built Adrenaline - it uses a mix of static analysis to build up a callgraph, with LLMs to organize the different methods and classes into more cohesive subgraph ‘topics’.

With this approach, we automatically generate diagrams showing how a repo works, updating as the codebase changes. We built it because, honestly, we were tired of spending hours creating diagrams that were obsolete within weeks. Plus, with how complex systems are nowadays, it's become a real headache to keep everyone on the same page about how pieces of a service fit together. Adrenaline takes care of that, making it super easy to create and share explanations for any repo. It's like having a constantly updated map of your codebase. We're hoping it'll save devs a ton of time and reduce those annoying misunderstandings that come from outdated docs.

You can try it out right now – it’s free for any open-source repo! Let me know what you think.
Betting on Beliefs
Don't Enslave Digital Minds
> map is also built-in. Where do you find the hash map in the given program?

If you told me a type can be optimized because the compiler knows it can only have non-hash-map uses, but I could put that type into a hash map with a single line, I think I would be right to be skeptical.

> By your logic some nebulous package in a GitHub repository that happens to satisfy an interface is also another implementation, but you would have to be completely out to lunch to think that fits with the topic of discussion.

I expect the compiler to have a list of implementations somewhere. I don't know if I can expect it to track if nil is ever used with an interface. I could believe the optimization exists with the right analysis setup but you called the idea of finding a citation a "waste of time" so that's not very convincing.
Interesting, though, that they're getting different numbers using different kinds of stars, which does suggest problems with the distance ladder.
AI can summarize text from provided URLs, select icons, choose pictures from websites, and yes, I will try to use AI more extensively.
Sounds great, happy to help you set this up!
Suppose you want to do something crazy, like watching a sports game on a PC
> DNA is not directly observable

Isn't there a home lab experiment one may do with an onion...

This piece is abysmal and I'm seeing more and more of this behavior. Pseudo intellectualizing pseudo intellectualization by calling one side full of well reasoned and proven arguments and others who diverge from intoned arguments.

For you it's the luxury elite. Yesterday it was Tim Ferris and "intellectuals" (bless them for being our redeemers).

AMERICA YOUR SCIENCE IS A SUBSIDIZED CROCK OF SHIT!

Writing papers is now confused with conclusive credibility and it is a MULTI BILLION DOLLAR house of cards (in which real science and engineering happens too.) Though one could say trillions.

The nature of existential Truth is still the good stuff, yet our entire culture of thought is being upended by modernity.

Choosing values isn't to blame so much as the mass struggle for agreeable self indulgent assertions as to what truth may be and how it is individually (or globally) worth something.
> It's simple to lex and parse into an abstract syntax tree,

There are some "cheats" for this, tools like ANTLR etc. that are good at generating parsers from a particular grammar. But of course, I think a beginner should try to do this on their own to get a feel for it.

Personally, for me, I do find writing parsers a little tedious and not the most fun part of making a language.
Here's the line that copies those pictures in: https://github.com/akazukin5151/koneko/blob/master/setup.py#...
Play to Test: Software testing as reachability games against nature (2005) [pdf]
For anyone unfamiliar with Django:

> django-admin startproject automatically adds a randomly-generated SECRET_KEY to each new project

https://docs.djangoproject.com/en/dev/ref/settings/#secret-k...
True, that is a fair point in the context of the moon discussion.
Most were found via internet searches while trying to solve certain problems for work/life. Some links were shared with me, either personally or via HN/Digg/Reddit.

---

Explanations of where I found my most upvoted links:

[298] Story Structure 101: Super Basic Shit (https://hw.leftium.com/#/item/34576085)

- I think I found this on Digg.

[239] Scale of the Universe (https://hw.leftium.com/#/item/40083285)

- Kagi search for something I wanted to share after seeing https://youtu.be/1kjvgWBHzec. I think I saw the original scale of the universe animation either on HN or Digg.

[136] How to Move Your Google Photos (https://hw.leftium.com/#/item/38065002)

- Found while trying to figure out how to move photos from my university Google Workspace account before it was deleted.

[51] Keypirinha: A fast launcher for keyboard ninjas on Windows (https://hw.leftium.com/#/item/39022891)

- I have used many keyboard launchers, starting with Launchy. I think I found Launchy via HN. (Maybe Reddit/Digg?) After commenting on some related HN discussion, I decided to share my favorite launcher. I think I discovered Keypirinha via a Show HN.

[40] Pico CSS v2 comes with 380 manually crafted colors (https://hw.leftium.com/#/item/39488979)

- I found Pico while searching for Tailwind alternatives that didn't obliterate all default styling into indistinguishable elements.

[33] A smarter CD command. Supports all major shells (https://hw.leftium.com/#/item/39376538)

- Zoxide was recommended to me on YouTube, after viewing related videos (Maybe OML videos? I started searching for something related to plaintext on Kagi, and the results took me to a YouTube video.)

---

One time, I checked an HN account with a fairly high karma. Turns out it was spamming many posts per day. Mostly reposting other people's new links that hadn't caught on yet or freshly re-eligible links (was about a year since it last made the HN front page). Most posts had few/no votes, but a small percentage of these reposts got a lot of votes.
It looks like all of the templates are basically listing steps or showing a list of facts.

Most of my favorite infographics involve some sort of graph or chart that visualizes data, for example https://xkcd.com/radiation/
Including autoconf outputs servers to avoid having to have autoconf installed. Because autoconf installs historically lagged behind what autoconf-using projects wanted, this used to be a problem. Nowadays it's not that big a deal.

As u/nrabulinski says, you can have the CI system generate and commit (with signed commits) autoconf artifacts.
Flow batteries are optimized for cost and capacity. Not weight, nor volume/energy density, nor instantaneous power delivery. In the case of some iron flow designs, add in "dirt-cheap, non-toxic materials."

A pair of 55 gallon drums equals 7.4kWh, and I'm guessing a lot of us could easily find that much space in our basements. That's enough to power 300W of load 24x7 (a modern fridge is about 60W. 100W will get you really far in terms of LED lighting given that most "60W" bulbs are well under 10W these days.)

One "car battery" sized LiFePO4 battery is about 1400Wh, and costs anywhere from $100 to $500+ depending on the manufacturer/reseller.

I'm a little mystified why they didn't go with a simpler iron-flow design as it is very cheap, and can be nearly completely non-toxic.
For many simple languages, the most complex construct is the expression.

Lots of things come to light there. Lots of recursion/fun with stacks, operator precedence, the type system, parameter passing. Pretty much a good solid chunk of language is wrapped up in expressions.

Get expressions working, and the rest starts to readily fall into place.
I'm basically in charge of maintaining and developing a product that (on purpose) started at 9 o'clock. We've resisted the call to implement loops and such in our DSL but I can hear the wolves howling and I doubt I have much longer...
I would love to see a road use tax. Pretty much turn every road into a toll road then use the money to fund alternatives to driving. Cars are obscenely expensive compared to public transportation and micro-mobility. Stuff like bicycles, e-bikes, and scooters are way cheaper from an infrastructure perspective.

Gas cars should pay an extra tax too because they are way louder and more polluting than electric cars. I can't take a walk without ear plugs lately because of all the modified exhausts and dying elephants trying to cave my skull in.
Show HN: RAG App Example with Self-hosted Embedding and LLM Services
Best I know of is /r/rational which focuses on rationalist writing, like Harry Potter and the Methods of Rationality, Worm, Ra (also by qntm), and a million other things.

As for meatspace, if you have a local LessWrong / rationalist adjacent meetup, those are usually full of people who read stuff like this.
had such a good laugh, I’m going to steal that :)
You mean like all of the other Forths that have escaped and taken over the world?
It always startles me a little given how iconic the “John Lennon” glasses are that he started wearing them so late in his career. I’m guessing that the sunglasses he wore on stage at times when the Beatles were still performing live were prescription lenses.
Strings are serialized as (type code) (uint16 length) (string contents) (null byte).

In the API, the string length is determined the normal way in each language: strlen() in C, len() in Python. The trailing NUL allows the C decoder to return just a pointer to the string (without allocating).

So internal null bytes and strings longer than 0xFFFF are functionally prohibited.
> Transactions over HTTP are complicated. The PlanetScale Serverless Driver (which is HTTP powered) supports transactions

How are they able to support transactions over HTTP?
Auto_kaizen: Python tool for automatically creating kaizen foam tool layouts
Yes, because the line that does it is literally:

os.system('cp -r ./pics/ ~/.local/share/koneko/')
Trivial facts, yes. I like "1 second is the time needed for Cesium-133 to vibrate 9,192,631,770 times" or "the metre has been defined as the length of the path travelled by light in vacuum during a time interval of 1/299792458 of a second", but who cares if the values were a bit different?

What does a life well lived mean? Is there a god or gods? Which one should one worship if so? What does it mean to be a good or bad person? Where does one find meaning? I don't believe there are truthful answers to questions like that, and modernity seems to annihilate the answers that cultures have developed in past. I'm not particularly versed in Nietzsche, but I believe he said it as "God is dead. God remains dead. And we have killed him."
I can’t keep my eyes open for the glaucoma test. I’m pretty sure that LASIK Would be impossible for me (unless they have A Clockwork Orange–style devices holding the eyelids open).
Mostly because motorists are the ones that destroy the roads the most. In addition, the roads are rendered un-usable by pedestrians and other vehicles because they are filled with cars.
That was during MS early flirting with ARM based devices running normal windows kernel.

The "setup your own PK without vendor or even Microsoft keys" is part of Microsoft's offering for some big dollar clients in Enterprise, which is why it's included in certification these days.

And I mean using your own keys, not running without SecureBoot, which was the topic linked in the 2012 discussion.
Congrats on the launch. Serious question though, does YC only fund AI companies these days?
I believe most people would be fine with eating the meat of murdered humans, too, if it was sold on grocery store shelves for a few years. The power of normalization is immense. It sounds like Eliezer was stuck on a pretty wrong path in making that argument. But it's also an undated anecdote and it may be that he never said such a thing.
I don't know if points.com was a startup at some stage with a build fast fix later attitude, I wonder if a lot of startups are in the same boat.
> are vague in intention

Just poking fun at a flaw in your reasoning. You think you are thinking because of your subjective experience. However, you say that something else cannot be thinking, despite the fact that you cannot share its subjective experience- therefore ChatGPT could say the same thing about you.
I think this is silly to be handwringing about:

L*: the belief that children do not need to be raised in a traditional, stable, two-parent family in order to thrive.

I believe kids are better off on average in a two-parent family. On the other, I know many adults who had a single mom who have thrived.
looks like more solutions looking for a problem that can be solved at the vendor level
Who said it was impossible? In fact, someone just said it was quite likely.
Ah, it looks quite complex. I'll start with simple graphics first and then attempt more complex graphics later.
Reversing the AMD Secure Processor (PSP) – Part 2: Cryptographic Co-Processor
A man who died in 1980, of course, couldn't have benefited from a surgery that was FDA approved in 1995.

It's like asking why JFK didn't use the Internet.
Value/Price of commercial real estate are significantly determine by theoretical rent, so are the commercial loans.

It’s a positive feedback loop of high rent. There is no theoretical abstract proper rent just waiting to be discovered like that comment seems to think exists.
Me too. It's why I won't even consider such a procedure at this point.

Glasses work well for me, so a permanent surgical solution is only something I'm willing to consider if the risk of it adversely affecting my vision is very close to zero. Right now, that's not the case (as evidenced by the fact that I know multiple people who have had adverse effects in the longer run).
What is the Coulombic efficiency? A paper membrane probably leaks a lot, but a state of the art ion exchange membrane probably runs $1k/m2.
Everyone in this thread is musing about the role of AI and whether the process of discovery is fundamentally human, and what Isaac Newton would think, but can somebody tell me: is the technology it develops any good? For example, does "Dual Scale Diffusion" https://sakana.ai/assets/ai-scientist/adaptive_dual_scale_de... look useful?
for complex graphic , let AI write some data visualization code may help.
ReMouseable: Use your reMarkable tablet as a mouse
IIRC, Patreon now passes along full transaction costs to every creator, even if behind the scenes they may be consolidating transactions.
Hi there!

I’m the creator of NotingSpace (https://notingspace.com/), a note-taking app that lets you mark up images, create flowcharts, write Markdown notes, and use KaTeX for math.

It’s a fun project I’ve been working on, and I’d love for you to check it out at https://app.notingspace.com/. There’s a feedback menu in the app where you can share your thoughts if you have any.

Thank you for your time, and I hope you enjoy using NotingSpace!
they're workin on it
> At the Stanford AI lab where we met... 80% of enterprise data is unstructured, and traditional platforms can’t handle it

You guys came out of an academic lab, so you must know that hypothesis fishing expeditions are not viable.

> ... a major commercial bank... couldn’t improve credit risk models because critical data was stuck in PDFs and emails.

In this example there will be no improvement to the risk model or whatever, because 19/20 times there will be no improvement. In an academic setting this is seen as normal, but in a business setting with no executive champions, only product managers, this will be seen as a failure, and it will be associated with you and your technology, which is bad.

Unfortunately these people are not willing to pay more money for less risk. What they want is a base consulting cost (i.e., a non-venture business) to identify the lowest risk, promotion worthy endeavor, and then they want to pay as little as possible to achieve that. In a sense, the kind of customers who need unstructured data ETLs are poorly positioned to use such a technology, because they don't value technology generally, they aren't forward looking.

Assembling attractive websites that are really features on top of Dagster? There's a lot of value in that. Question is, are people willing to pay for that? Anyone can make attractive Dagster UIs, anyone can do Python glue. It's very challenging to differentiate yourselves, even when you feel like you have some customers, because eventually, one of those middlemen at BankCo are going to punch your USP into Google, and find the pre-existing services with huge account management teams (i.e., the hand holding consulting business people really pay for) that outpace you.
IIRC Cube 2: Sauerbraten uses a similar concept for network, though the format strings aren't similar to printf (just a simple list of sized types) and the types/format aren't transmitted on the wire.
Being 80 probably sucks in a lot of ways, but may be better than the alternative.
I am under the impression that it’s trucks that make the most damage. They also deliver goods and supplies that everyone uses.
You should write a language for the same reason you should write a game.

It's not hard for a game to touch all sorts of corners of the computer world that routine work will never come near. Games are great because they're easy to focus on, you know pretty much precisely what you want it to do. They also tend to be made of small parts, yet extensible, in terms of adding features if you still have wind in your sails.

And if not, hey, you have a few more data structures under your belt. Who knows when those may come in handy again.

Languages are similar. Get past a few "hard parts" and they can be a fun ride.

For extra fun, put the language into your game. Dog food for everyone.
Gathering and evaluating information is hard work and can be a significant time sink. Most people have other things going on in their lives that they'd like to have time for.
the ryzen 7/9 model is literally more expensive than every intel system they offer on that page?

and yes, threadripper is unfortunately quite expensive now, that's a decision AMD made back in 2019 with the 3000 series to go heavily upmarket on that. In most cases if you are a customer who is in the market for threadripper, you are better off just using epyc now, unless your highly-parallel workload also needs very high max clocks.
While technically true, I think 2.4 and 1.6 present two extremely different flavors of "unsustainability", there's very little in common between these two scenarios.

2.4 actually has been sustainable for a couple of millennia by now, mostly because our technology (primarily the food production) was able to keep up with the exponential growth of population. How long this can last is a question, but even if it doesn't last -- going from 2.4 to 2.1 is not hard.

With 1.6 you don't even need to wait for millennia or even aforementioned 300 years to get into trouble. After two generations you get into the situation where working people have to share their income with too many elderly AND elderly don't only consume resources but also directly compete for them with the youth (the other class of people who consume without producing) which makes the fertility economics even worse. You can plug some holes with immigration and foreign trade but on the macro-level it's a death spiral. Very easy to get from 1.6 to 1.0, but extremely hard to return to 2.1.

Maybe I'm missing something but countries like Italy or Spain look to me like trains rushing into concrete wall. And it seems that people are mostly concerned about whether the train is running on a carbon-neutral fuel.
Because translations are copyrighted so it is complex to get legal rights for them.
>Why wouldn't you take a scratch-build EV on the road?

Because you don't want to snap your spine in a minor fender bender.

Scratch built is not the same thing as an EV conversion kit, where all the hard stuff (like a frame and body panels) was already made by commercial manufacturers.

This flow battery is from scratch (well except for the pumps and electronics, but the cell itself is). They are not using off the shelf electrolyte and electrochemical cells like a flow battery kit would.

It's a neat project and would teach a lot, but I just cannot find a scenario in my head where I would want this (even a scaled up version) over another solution.
When do you ship notebooks to production? Jupiter was never meant for external clients.
Former Colorado clerk Tina Peters convicted in computer breach
More lift capacity means more fuel capacity onboard the telescope(s).
You can easily put a third stage bigger than the whole F9 second stage in the payload bay of the Starship and you likely wouldn't need a super complicated unfolding deployment procedure for the payload thanks to the enormous volume.

Once the thing becomes reliable there are zero missions the FH can do that starship can't with a payload equipped with a third stage motor.
This is an example of how to build a RAG app on FastAPI with vector embeddings and LLM inference broken out as separate services. Using Runhouse, those services can be hosted on your own infra (A10 GPU on your own AWS, for example).

Hoping that this is helpful for anyone considering ways to scale out components of a more complex RAG application.
Either we read different articles, the author edited the article, or you're just going to town absolutely demolishing strawmen. The only things it says about "Elon as an individual" are due to parts of the transportation system operations manual focusing on him personally. If you want to bemoan the celebrity dynamic, that seems like a good place to start.