skysight-inc/HackerNews huggingface dataset:
> A reasoning and conscious machine would be just as or more moral than us. There is no rational argument for it to exterminate life.

We drove the mega-fauna into extinction without actually planning for that or desiring it.

Same thing today, where we are crowding out all the other animals and causing mass extinction, without desiring particularly to harm them.
Even introductory materials cover the difference between "your" and "you're" rather thoroughly.
OT, but: what type of racecars? =D
Fair enough. I've had many issues on multiple Pixel devices with calls never coming through and it can be pretty frustrating.
Just out of curiosity, as I've seen a few comments also mentioning PrinceXML. Is OneDoc an API, wrapper, etc, on top of PrinceXML? Or is it a completely new rendering engine?

Thanks!
yeah. like xkcd 927 to the nth degree.
>If you don't want your work seen, don't put it on the internet.

Reminder: anyone nerd enough to be on this site is on the top 5% of computer skill, and 20% of people in the planet can't even use a computer, and 30% that can wouldn't be able to perform a simple multi-filter task such as "find a sustainability-related document that was sent to you by John Smith in October last year."[1]

I believe if the web is meant to be open, it can not antagonize 50% of the people in the world who can't understand technology. It's just not in the spirit of the web to say "don't put it on the internet." The web was made to put things on the internet. When we can't do that anymore, the web is dead.

1. https://www.nngroup.com/articles/computer-skill-levels/
The flow of traffic on the highways where I live is consistently 15-20 mph above the posted limit. I wish everyone would slow down, but that doesn't change the fact that the safest way to merge is to accelerate hard and match their speed. The last thing I need is a financial incentive to be oblivious to my surroundings.
Apparently he joined "MSCHF." They describe themselves as "AN ART COLLECTIVE THAT ENGAGES ART, FASHION, TECH, AND CAPITALISM." Their products run from tech startup failure collectibles (get your mini Juicero and a mini Theranos Minilab today!), to oil paintings of ML feet, to a celebrity's iPhone full of the phone numbers of other celebrities (locked, password not included).

Sounds like an interesting place to work.
Inspired by Norvig's article. A Lisp Interpreter in Rust.

https://github.com/vishpat/lisp-rs
What stops them from using a SIM card from any country that doesn't require registration?
When I previously looked into the examples returned, most were accidental connections across a sentence boundary in scientific papers e.g. "Case 1 - both poles on the edge. Case 2 - ..."

The ones that related to aerospace seemed to refer to leading edge and trailing edge which doesn't seem to fit the modern meaning?
Acquiring advanced knowledge on topics by skimming introductory materials is not characteristic of these people in the slightest.
> I'll take the plastic car that explodes on contact if it saves my life.

Don't get me wrong -- I'm completely on board with this sentiment. I think where you & I diverge in our viewpoints is when it comes to the surveillance.
I completely agree. Even if they completely tank I can open my obsidian directory in a text editor or command line and still use it. I would still have access to features that are common in other apps like full text search or plain file sync. Attachments are just files in the filesystem that can be opened in any image viewer. Basically if i can’t use obsidian anymore i can still use my notebook and take notes without implementing or finding new software
Motion blur is an area where impulse displays like CRTs still excel compared to sample-and-hold displays like LCD and OLED.
You can re-quantize analog signals into a finite number of levels to prevent noise accumulation. That's how TLC (8 levels) and QLC (16 levels) flash memory cells work. The cells store an analog value, but it's forced to a value close to one of N discrete values. The same approach is used in modems.

Deep learning doesn't seem to need that much numerical precision. People started with 32-bit floats, then 16-bit floats, now sometimes 8-bit floats, and recently there are people talking up 2-bit trinary. The number of levels needed may not be too much for analog. If you have a regenerator once in a while to slot values back to the allowed discrete levels, you can clean up the noise. That's an analog to digital to analog conversion, of course.

That's not what these guys are talking about, as far as I can tell.
These two things are not mutually exclusive. You can help someone via Reddit and Reddit also profits. But you aren't gonna get paid for it.
Thanks! We're fine-tuning our pricing model and realize we have some work to do in this area hahaha! Indeed, at a certain scale, per-document pricing becomes almost impossible (we're talking about millions of documents generated daily). As noted in another comment, costs vary significantly depending on the PDF type, from simple receipts to large multi-page reports, especially since we currently rely on other proprietary software that incurs high costs. In the future, we aim to offer more than just document generation (like e-signature, analytics, hosting, editor, etc.) and hope to move away from "per document" pricing for high volumes. That said, our open-source library allows anyone to design a document and use their preferred renderer for PDF conversion, with all the pros and cons each solution provides. There are more comments about pricing providing additional information; feel free to dive in if you have any comments or questions
I doubt it. They aren't even terribly expensive.
I've heard similar claims but I don't think it's true.

JavaScript is just as monkey-patchable. You can reassign class methods at runtime. You can even reassign an object's prototype.

Existing Python JIT runtimes and compilers are already pretty fast.
Many moons ago my first job in the industry was working in an IT department for a technical college; this was the days of windows 98/xp and Novell netware;

Even then unless it was a trivial issue, it was often a simpler fix to just re-image (or swap out hardware if we happened to have new ones available) - because most people had zero custom software installed (except for the 8 different IE toolbars they had somehow installed but swear appeared automatically) and after all, its windows: restoring from a clean image meant the machine would suddenly have that new car smell again and it'd likely last longer until the next issue would pop up.

For people with custom software there was usually more leeway to troubleshoot problems - particularly if it was stuff that needed one-off configuration.

I do feel your pain but having been on the other side of that fence I also feel their pain.
I was doing primarily go development since it was first released up until a few years ago when the pandemic allowed me the opportunity to move into a full time remote gig doing primarily Java development, so I can answer this as I hadn't done Java at that point for over 10 years, so I felt completely new (what Java I did before that, I was mostly trying to not use Java by using play framework or jruby on rails)

As someone in the boat you mentioned (sort of) the short answer is modern Java development for 90% of tasks is not complicated at all: it's very much like any programming language used in a bizdev/corp environment -- you are mostly using a framework and a bunch of DSLs. Almost everyone uses Intellij and Gradle for IDE and build, and Junit5 or Spock for unit testing. I passed a technical interview mostly on Spring Framework concepts knowing almost nothing about it, nor having ever used it in production by simply just having the documentation open while I was being interviewed so I could look up the answers. Any language that is popular is going to have frameworks with decent documentation that help you be productive quickly, so I just jumped in doing Spring. The java stuff came as needed, or I referenced something like Effective Java (great book), or a Baeldung article. Java world has made some great strides since the 2000's and early 2010s of XML chaos. It took a while, but I feel like it's in a really good spot and getting better.

As an aside, if it hasn't been mentioned to you before, if you like simplicity in a language, but still incredibly productive, you might enjoy Go.
Actual spec: https://jsoncanvas.org/spec/1.0/
Now it all makes sense. It's like design standards not implementation standards. MaterialUI over I-can-haz-ui. For some reason it didn't click.
It has been added to the project.
I would like to take this opportunity to implore everyone to not invent a new format. Avoid it at all costs. First try to follow an existing standard or say that you will support a subset. When you invent a new standard, you start small and say oh users just need to know this and look it's so simple. Then you find all the edge cases, add all the features and voila you have created a half baked implementation of an existing standard. Only if you can explicitly say many reasons why you haven't used standard X or Y create something new.

To take this specific example, some of it feels very similar to HTML. label, links, sections, groups, anchors, background fill options...I would have been tempted to define as a subset of HTML that is supported. Then if I wanted JSON, say how JSON maps to HTML. voila suddenly everything is standardly named and creatable. This means backgroundStyle is replaced by background-size = cover or contain. It means that those six preset colors are replaced by all HTML standard colors. Voila no one needs to learn different concepts or definitions. Try that existing standard, try 2 more and only if they don't work invent a new one. Please. I say this as someone that inherited standards invented by teams that I then had to try and train hundreds of users on. Funnily enough the previous people left when the coding was done, without teaching the users. THey probably left to implement version 2 elsewhere. :)
What I don't like about stock is that you end up throwing out food. (How much of that is indigestible fiber, and how much is nutritive? Not sure, but I suspect the latter is a large portion of the waste...)
> ...or in a cardboard box

When I saw the picture of the server mounted in a cardboard box, my first thought was about fire hazards. It turns out that might not be as big an issue as I initially thought, since paper won't spontaneously catch fire until reaching ~200C [1], and the operating temperatures of computers generally shouldn't exceed 100C. However, I'd still be a little wary about a cardboard setup, considering the potential for electrical faults, the heat generated by power supplies and the risk of inadequate ventilation leading to hotspots. These factors could present a significant fire risk. My initial judgment of the setup may have been too quick but not entirely unfounded I guess!

[1] https://en.wikipedia.org/wiki/Autoignition_temperature
The whole house thing for a group is where I see Airbnb (or VRBO) etc. being a big win over most hotel options.

But for most singles or couples traveling, predictability and lack of issues is pretty much the priority. That's not to say I only stay in chain hotels--I've stayed in plenty of B&Bs and small inns--but I don't like rolling the dice on that aspect of my travel more than I need to.
> the average person doesn't know how to price restaurant food

Could you be more specific?
Hey, SQL over HTTP is possible now in Xata, and direct Postgres access will be possible _real soon_.
Mexico's Investment Boom
Why did they allow Anna onto the helicopter?
In addition to what GP answered: note that I didn't crack anything. I just really did all the 79 trillion sequential computation needed to find the solution. That's the really need thing: you can encode the problem in a split second and yet decide how many sequential steps are needed to find the solution.
It’s a great addition to the compost heap though!

ETA: shouldn’t use normally edible parts to make stock. Only like the tips and tails of carrots, celery root balls, onion peels… I keep a gallon ziplock in the freezer that accumulates these as I cook other things. When it’s full I usually make chicken stock.
The community thing seems fine. If you don't like how a community is run, you can go to a different one.
In my experience, Kdenlive and Shotcut are more or less on par with iMovie. Da Vinci Resolve works on all three major OSes and is actively usurping the prosumer market previously held by Premiere and Final Cut Pro. (It even has an advanced, node-based compositing tool for visual effects and motion graphics.) It's not open source, though it's free unless you need some features aimed more at serious commercial stuff.
Laughable title of article. RF in the real world is somewhat of a magical gremlin. There are materials and designs though that are better and worse for transmitting 5 & 6 GHz. Ask me how I know. :@]
Same, I fondly recall reading it years ago and I would love a hard copy as well. I've thought about printing it myself, but it seems an awful waste when updates are coming.
Command-R: open weights 35B params / 128k tokens context length model by Cohere
Ah, ok, sorry. When I see someone to curse goto I become mad! goto statement is God sent gift.
That would make sense, and was something I'd heard but I'm struggling to find an actual example of usage?
I ran v3 on my machine while listening to "Voyage" by "Yahel & Eyal Barkan" in Chrome and doing a bunch of background stuff. The background stuff took up about 20% of my CPU. While testing, the music played perfectly without any buffer underrun pops.

Ran it in each browser one at a time while the music played in Chrome.

Chrome 122.0.6261.112: 21.3 +/- 0.64

Edge 122.0.2365.80: 20.1 +/- 0.78

Firefox 121.0.1: 18.5 +/- 0.75

Machine specs: Intel Core i9 12900k (24 core) / 64GB RAM / 3080Ti / Windows 11 Pro 23H2

After finishing the tests, I played that same song on Firefox and Edge. Both Firefox and Edge played it perfectly.

> audio players on Edge stutter a lot while Firefox plays them smoothly

I'm curious about what could be leading to this inconsistency as I use Web Audio for a number of projects, so I have a bit of a vested interest. It is notoriously easy to do WebAudio wrong or to do just a bit too much computation which leads to buffer underruns (pops). It also may have a lot to do with specific tracks on DeepSID, could you share some tracks that perform inconsistently for you?
How does MTE compare to CHERI?
Even a broken clock is right occasionally.
The problem with chrome is the performance, it is very slow and uses a bunch of memory. There was a neat post here awhile ago about generating pdfs faster https://news.ycombinator.com/item?id=39379690
>If we're storing a file, we're already storing a file of some kind

It's not just a file "of some kind", it's a text file. That's one of Obsidian's key selling points - that a vault is simply a collection of text files. The "text" part is important to both Obsidian's philosophy and the majority of its users.
There are numerous techniques needed to search but, crucially, nothing can guarantee you've found them all.

I'm struggling to find it, but I read an article a few months ago where a team placed about 30 cameras hidden in a home and tried to find them all. Most methods found low single digits. Even the best ("an advanced lens detector" for $400) brought the total up to fewer than 20.

Really wish I could find that because now all I'm finding is dogshit articles claiming it's easy.

edit: found, it was from CNBC. https://www.cnbc.com/2024/01/22/how-to-find-a-hidden-camera-...

You can also check what devices are connected to the wifi but there's no guarantee they don't have a second network just for the cameras which you can't access.
oh this has code! great stuff. diffusion papers are famous for a lot of equations (https://twitter.com/cto_junior/status/1766518604395155830) but code is much more legible (and precise?) for the rest of us. all theory papers should come with reference impl code.

i'd love an extension of this for the diffusion transformer, which drives Sora and other videogen models. maybe combine this post with https://jaykmody.com/blog/gpt-from-scratch/ and make the "diffusion transformer from scratch" intro
You should maybe remove the 'X' symbol in your FAQ section because it looks as if the the things listed there are not supported.

E.g
1. I see 'Does Teable support SQL queries?'
2. I click on the list item
3. The accordion menu expands, the '+' symbol turns to 'x', as if to tell that Teable does not support SQL queries.
But you're contributing to HN which is owned by VCs with increasingly aggressive political postures (which we are not allowed to discuss on here) who could pull the rug on us whenever they want to.

The problem is that the n^2 stickiness of social graphs makes competition impossible when they scale into the millions. All the value is created by the users but accrues to the network owners, and then the owners are able to abuse and manipulate the networks as they see fit without repercussion. I think the ideal model for social networks is that they would be owned by benevolent nonprofits, but besides wikipedia VCs were able to capture every important social network of the Web 2.0 era.
I assume you mean a fresh "bell pepper"? In American English paprika refers just to the dried spice, while the rotund and mild peppers are bell peppers.

But you can definitely add either to a stock. The fresh pepper will add (if red) a sweetness and savory note. The green peppers will add more vegetal flavors, less sweetness. But I think leftover pepper is best eaten raw as a snack, salad dressing optional.
The year is 2024: companies that used scraping to build its products are now trying to legislate scraping as an illegal act
I'm sorry to hear about your years of torment.
I haven’t had any issues with yaml in markdown frontmatter or openapi specs. What kind of issues do you see with list and maps that make you against yaml? I agree that for computers and consistency json is preferred. I already use a linter for my markdown files so I would do the same with yaml to keep lists and maps consistent
Understanding Series A's
Most people these days get a hotel anyways.

Also I only took a airbnb once in my life.

Anybody who takes airbnbs regularly has for sure slept on somebody else's dried body fluids.
> Markdown and JSON are meant to be non-opague file formats that prioritizes portability and human readability over other features

I don't think human readability is a critical feature of JSON at this point. If that's your priority, you can use YAML. Readable JSON is nice because for small files you can read or edit small sections of it, and it's easy to debug when manipulating it with machine code. But there are plenty of cases where a huge JSON file is still useful even if it's barely human readable.

My heuristic has always been: use YAML if you expect humans to create the file (or maintain large chunks of it), otherwise use JSON. For example, Kubernetes config is YAML because humans create it from scratch, and it would suck to do that with JSON. Whereas package.json is JSON because machine code initializes it and humans only make minor edits to specific fields.

In the case of this canvas format, I wouldn't expect humans to create the file from scratch, so use JSON over YAML. Then the question is, will humans even care about reading the raw JSON? Probably not. So why not use something like SQLite or Protobuf? The most compelling reason would be that humans writing code to interface with the format can use parsing tools from their language's standard library.
> Sounds like Twitter pre-Elon where 80% are woke commissars and 20% actually make the site go.

You seriously think 80% of Twitter was “woke commissars”?
> With a little more effort we can establish the same for any enumerable set of axioms.

This is a case of presentism, which due to the work of Gödel we accept the costs of the implications of his findings.

RE is semi-decidable, meaning we can find yes-instances, although some yes-instances may be false.

RE+co-RE=R, when the author is only referencing RE.

Failure as negation does have its place but it also is what will probably block strong-AI.

Also note that presburger arithmetic, FoL with (+,=) or (*,=) is fully decidable. But proofs require double exponential time. Superfactorial time isn't practical.

Same with attention in feed forward networks requiring exponential time with a reduction in expressability.

This is a lower bound for negation through exhaustion in zero order logic through the strong exponential time theorem.

The loss of reliable negation: (¬) in all but the weakest logic forms in the general case has huge practical implications for all but the most trivial problems.

Unless you are lucky enough to have a fully decidable model aka recursive, the costs are high.

PA was shown to be consistent with transfinite induction BTW. But that is because the natural numbers are well ordered.

But transformers with soft attention being limited to solving problems in TC^0 with failure as negation is a very real cost of Gödels (in) completeness theorems.
I don't believe that's true. If the boys had drawn pornographic, photorealistic pictures of the girls in question, and distributed them, it would be a serious matter. You have to actually reckon with these difficult questions instead of just brushing them aside.

Why is it an act of harassment to put them up if it's not am act of harassment to produce and distribute them?

I also don't agree with your final assertion at all, I think we're in for a world of hurt here.
There's a paper on this, and it's fairly convincing that they're able to plagiarize

https://spectrum.ieee.org/amp/midjourney-copyright-266687210...
easy. pay the CEO like he is a genius even if he makes insane decisions.
Recency Bias

This seems to be the opposite of "recency bias", which is interesting - if true.

https://en.wikipedia.org/wiki/Recency_bias
I now think of the "stack" of a modern business as starting with physics and ending with making someone happy (unless you are Oracle). Full-stack engineers should then know how to connect physics to peoples' happiness.
This is 2024. We need formally-verified operating systems, applications, and tools in the spirit of seL4 but going beyond it in rigor. Cobbling together lightly tested, over-engineered, heaving codebase systems with fragile, dangerous languages in this day and age is asking for users dying when foreign actors hack them, annoying bugs for many, and attack surface for malware and hacking generally.

On top of that, clean and unified UX and usable features must be provided or the engineering is all for naught.
Yes, it's very possible that the EU will regulate this due to antitrust concerns and they are actively looking into it.
Why wouldn’t you clean the sheets regardless after each stay?

But everything else seems reasonable. If a host left a note explaining the reasoning behind the dishwasher and the trash, I would understand completely.
As of today we are building our solution on top of PrinceXML/DocRaptor which is considered "to be the best PDF generation API, giving complete control over the documents you need to create" (cf. another comment).
As we started working on this solution less than 2 months ago, building our own renderer was not an option. But once we have validated the idea, we are definitely going to work on our own renderer to have 100% control over the workflow, and also to be able to offer a better pricing model!
Skyscrapers are phallic because of the engineering constraints of stacking floors upon one another. Airplanes and missiles are phallic because of the engineering constraints of rocketry and aerodynamics. Guns are phallic because of the engineering constraints of using gunpowder to propel a small metal bullet.

For crying out loud, form follows function and sometimes a cigar is just a freaking cigar.