skysight-inc/HackerNews huggingface dataset:
If you had read the article you’d know that other companies have done this before so clearly it works.
No, thanks. I'll hold out for the Vantablack version.
They could simply abort.
Tbh I wrote my above comment in a state of barely-awake and missed the important point: by selling the item they are making a claim of ownership.

I was merely stating that nobody should be obliged to try to track down an owner of a lost item, but they equally shouldn't be claiming it as theirs either. You wouldn't just get on somebody's bicycle and ride off with it, so don't put on someone's watch and walk off with it either.

What's interesting is that if you buy a stolen item, even if you don't know it was stolen, you still don't own said item. Happens with cars. Would be interesting if a person who bought a Rolex from a place like this took it to a watchmaker who took it upon themselves to confirm the rightful owner.
Even in the west it varies a lot. As a vegetarian who recently visited Florida it seems that American eat quite a lot more meat than people in the UK. Case in point - my family wanted to go to a steak house in Florida (they aren't vegetarians) but the one they wanted to go to didn't a single vegetarian item on the huge menu. Even the salads and mac & cheese had bacon added! We didn't go. My local steak house in the UK always has several vegetarian/vegan options.
I think there are some physical problems trying to brute force a 12 word phrase. Afaik, 12 words equals 10^39 possibilities.

From the discussion about energy use of calculations (especially regarding bitcoin mining), I think to remember that doing 10^20 calculations per year costs about as much energy as an average country consumes.

If those numbers are correct, it would take 10^19 years to break a 12 word phrase if you apply the energy budget of a whole country to it. 10^19 years is something like a hundred million times longer than the universe has existed.
White paint (if cheap) on a building you are actively trying to cool would seem to have a very good roi.
The EU requires digital Data submission from new cars.
Not if they're reading it on their own though?

I'm English but learning Hindi, so I know to pronounce it 'puh-vit' as it were, but 'naturally' (or however many years since I started learning ago) I would read/say it like पैवित almost, you know, short English 'a'.
> Colour alone was enough for MKBHD

No it wasn't.

He said the main reason was that he was using a M1 MacBook Pro which is a couple of generations behind. The black colour was an additional benefit so combined he thought it was enough to make the jump.

But both the colour and the performance wasn't enough which is understandable. M1 MacBook Pro is still an exceptional product.
This is just helping out with trivial tasks, which sounds very much in scope of LLMs. The OP was talking about replacing "world class consultants", which I'm very sceptical of.
Yeah, they went to the specialist shop or asked a few experts how to do it, applied it, done.
> But .mli files do not help with the "no types in the source code" problém

It partially helps since it forces you to have types where they matters most: exported functions

> And I did not experience any advantage of separate signature files so far,

100kLoc is already quite big! I'm starting to think I'm an outlier since a lot of people don't see the benefits :)

For me, it helps because I really don't want to see the implementation when I use an API. If I need to look at the implementation, it means the interface isn't well specified. All I need should be in the interface: types, docs, (abstract) types. And no more.

Typically, an .ml file will have more than what is exported, types won't be abstract but will have a concrete implementation, and type signatures may be missing. How would it feels like to use list if only https://github.com/ocaml/ocaml/blob/trunk/stdlib/list.ml was available, instead of https://github.com/ocaml/ocaml/blob/trunk/stdlib/list.mli? and that's not the most compelling example since it's a simple module where the main type isn't abstract. Generally speaking, giving up mli means giving up on encapsulation which is one of the primary tools to deal with large programs.

Haskell forces you to say what is exported from a module, but the module user can only see the names. To see the signatures, you need to rely on generated doc or look it up on the code.

Arguably, since OCaml has includes, it suffers from the same problem, your ".mli" may have tons of include and it becomes harder to see what's exported without an external tool
"The Ultimate Test in Fingerprint-Proofing? Cheetos Fingers"
HMS Surprise by Patrick O'Brian, it's the 3rd novel in the Aubrey/Maturin series. It's the series that the movie Master and Commander is based on. It's about a ship captain and his doctor friend and their naval adventures in the early 1800s.
There are a million things broken about the American credit reporting system, but I'm going to try to make a case for one very specific part of it:

> how much is your income and how much are your current financial obligations

This doesn't work if your income doesn't show up in the government's system. For example, if your income comes from illegal activity. Crime is bad and you shouldn't do it, but crime is an economy and some people really don't have a better option. If your income comes from criminal activity, getting boxed out of the consumer financial system isn't helping you towards any avenue where crime is no longer the best option.
The language has been created by the main author of RECOIL, Piotr 'Fox' Fusik – an offshoot of Ć (Cito) perhaps? [1]

[1] https://news.ycombinator.com/item?id=28805825
With all due respect to NetBSD (it's a fantastic system), I think this accurately highlights the difference with OpenBSD. The latter project builds every release of every architecture on actual physical hardware; if the build breaks, it's treated as a symptom of a more serious issue.

OpenBSD dropped the VAX port a few years ago, because the builder machine physically died, and it was decided it was impractical to source a new one.
That's not the case here at all. I believe lots of things without studies. Something like "heroin and cigarettes are equally addictive" doesn't sound right to me - that's why I need evidence to the contrary. It's a somewhat extraordinary claim, therefor I require some evidence.
I switched from Win to Fedora Workstation on laptop 2 years ago. And I'm not regret this decision. Also I have Fedora Workstation on home media server with cockpit. Works great, however its lerning process. Setting everything up for my needs require a lot of searching and trying.

Unfortunately I cannot switch to Fedora on my desktop, mainly because of lack of support of Adobe (need for work), missing 10bit support and CUDA. Linux is not mature for professional work in audiovisual production industry. Which makes me sad sometimes. Quite a lot. Adobe monopoly is frustrating.
The decriminalization doesn’t cause the damages from drug use, they were already there.
Interesting but the description is really vague.
The rule of four comes in handy across all kinds of places. A command line argument that can be run with 4 or fewer distinct words/flags/etc is one I'm much more likely to try running than one with more.
I don't get it why the Microsoft Word team didn't create a good looking default template that people could just use without any fiddling necessary. They had more than 20 years at this point to create something that looks pleasing out of the box, but when you check the available templates they are all an ugly looking mess.
> Golang doesn't really solve the problems of newbies, it just punts the issues to runtime where they will likely end up causing breakage in production.

The GC in Go punts the issue of memory management to the runtime, but does so in a largely correct way. In that one way, Go is easier than rust in a way which genuinely does not cause any real production issues.

However, the most important tradeoff when talking about Go vs Rust on this startup-infested hellsite is not related to the quality of code at all.

The goal of a startup is not to produce working production code, but rather to convince VCs of its trajectory. VCs don't care about buggy code. Every company has buggy code, it's expected you have bugs. Normal. Possibly even a good sign. "Move fast and break things". What matters more is the number of warm programmer butts you have in seats. VCs want you to hit your headcount targets, and unfortunately, hiring programmers that will make your codebase a buggy spaghetti mess is much easier than hiring Rust programmers.

Said another way, good code might actually be a problem in startup-land since it will make it harder to meet VCs hiring expectations.
> Hard to see the downsides.

For me the downside was addiction.

I spent 30-120 minutes scrolling the feed every day.
You're 30% correct but not seeing the value. I used to Google every 20 mins. Now it's a few times a week. All questions are answered in seconds and extremely precisely.

I write low-level AI code and it's like speaking to someone that just understands what I'm saying without having to explain every 2 minutes.

This has massively augmented my workflow.

On the topic of AGI. We'll get there in your lifetime. I can see how and why. The new bar is ASI so consider AGI the current goal-post. We have all the pieces, we're just putting them together ;)

If you want to check out what I'm up to I have a front-end here: https://discord.gg/8FhbHfNp
But not as easy, efficient, or self revealing as pie menus! ;)

https://news.ycombinator.com/item?id=37907449

>The whole point of pie menus is to be "self revealing", supporting discoverability and browsing and prompting and gently training users to quickly use the gestures without looking, through rehearsal. They solve the problem of gestures being invisible and impossible to discover and learn.

https://en.wikipedia.org/wiki/Pie_menu

>>Pie menus are a self-revealing gestural interface: they display multiple options to a user and direct them to select one.

>>Users operate the menu by observing the labels or icons present as options, moving the pointer in the desired direction, then clicking to make a selection. This action is called a "mark ahead" ("mouse ahead" in the case of a mouse, "wave ahead" in the case of a dataglove).

>>Repetition of actions and memorization of the interface further simplify the user experience. Pie menus take advantage of the body's ability to remember muscle motion and direction, even when the mind has forgotten the corresponding symbolic labels.[1]

>However Apple has never adopted pie menus, Steve Jobs thought they sucked, and Donald Norman has never been a big fan, and he totally missed the point when I tried to explain it to him at Ted Selker's NPUC workshop.

>I had the honor of meeting Steve Jobs at EduCom on October 25 1988, when he released the NeXT machine. Sun had lent me a workstation to demonstrate NeWS software in their booth, right across from the NeXT booth, and Ben Shneideman brought him over for a demo of the stuff we'd developed at HCIL.

>So I gave Jobs a whirlwind tour of pie menus, the NeWS window system, UniPress Emacs and HyperTIES for about half an hour. Jobs was jumping up and down, pointing at the screen, and yelling "That sucks! That sucks! Wow, that's neat! That sucks!"

>When I explained to him how flexible NeWS was, he replied "I don't need flexibility -- I got my window system right the first time!" But I gave him a NeRD button, anyway (which I'd made for NeWS window system NeRDs, but he liked because it had a lowercase "e" like NeXT).

[...]

The GIMP developers are even more stubborn and insular-minded than Steve Jobs, but with absolutely none of the design skills, visionary creativity, empathy for users, or obsession with usability.
You’re right. I didn’t realize it was $300k with spouse. Thanks for the correction (and the good news).
I can see that being fun, and I'm going to check out your recommendations, however the primary reason I read is to learn skills! Finding books that are packed with information and zero fluff is a challenge.
I use Weasyprint [1] to generate a PDF from HTML, and I use a self-written static site generator based on Python & Jinja2 to convert Markdown to HTML first [2] (note: that code is undocumented and only used by me). Weasyprint can handle code highlighting e.g. using Pygments or another static framework, the only downside is it can't execute JS so if you e.g. want to dynamically generate content to render like SVGs you need to first pass your HTML through a headless browser, which is also possible though. There's also paged.js [3] which is similar but runs in the browser, so it supports JS-generated content out of the box. And as others have mentioned Pandoc [4] is the Swiss army knife of converting between document formats.

1: https://weasyprint.org/
2: https://github.com/adewes/beam-up
3: https://pagedjs.org/
4: https://pandoc.org/
I dropped Facebook and Instagram two years ago. Never found a productive use for it.
Still have mine. Everyone I know uses it to the point where I don't know most of my friends phone numbers or emails, and some people don't even check their email every day.

Outside of work, where we use WhatsApp and texting, I talk to very few people who don't have it.

But, most of my friends are not in the tech industry, I mostly work on small teams for companies that incidentally need tech, and don't meet many devs, and non tech people seem to like it more than programmers.
You have to make it to episode 4. From that on, you are on a ride.
Show HN: I taught a custom GPT a new language
Please feel no compulsion to like or subscribe, this is just for the curious of us who want to explore what something like this would look like.

What was especially interesting was creating the RLMF (reinforcement learning with machine feedback) loop of the validator action that ultimately produces accurate results at all times.
What are you guys on about

>if A sees B at speed v, then B sees A at the same speed v

is directly derivable from the Lorentz velocity addition formula which is the result of the usual two postulates. Why would you want that as an extra assumption...

https://en.wikipedia.org/wiki/Velocity-addition_formula#Spec...

vAA = (vAB + vBA)/(1+(vAB*vBA/c^2) -> 0 = vAB + vBA

so velocity of A relative to B and B relative to A both have magnitude v.
I read for fun. The whole point for me is to wind down and relax.
The BBC has a good program on iPlayer about Andrew Wiles work on FLT:

https://www.bbc.co.uk/iplayer/episode/b0074rxx/horizon-19951...
I just want to note that I fully agree that Rust is, ultimately, an extremely productive language. In my considerable experience with Rust it is the most productive language I have ever written code with professionally.

The fact that my only complaint is that compile times are slower than I'd like should be seen as high praise.
darn, I was looking for http://ww.turingi.com/.

Oh well, next time.
[]byte versus io.Reader
He explained this once, but it's been years and years and I don't have a source link. His argument for using the large fonts hinges on the fact that you keep your desktop monitor farther from your eyes than you do printed materials like books and magazines. Accounting for these distances, a 16-pixel or 18-pixel font size on screen is similar to an 11-point or 12-point font on printed material. Somewhere on his site, I think he has a demonstration with a photograph of a book in front of his monitor that illustrates this, and it looked pretty convincing.
Those are different, though. Your statement leaves ambiguity as to who will tend to the objects' needs. Sometimes the implication that you are the one expected to do it is clear, but far from always.

People on the spectrum will probably struggle with that type of ambiguity too, which is worth keeping in mind.
But currently we aren't on a course to actually unwind that carbon production in time.

It's like saying there's an oasis 2 days walk from here, so don't worry about having a shower and possibly using all your drinkable water. You still need to save enough water to actually get to the oasis, and at the moment, we're kinda sorta having a conversation about whose job it is to actually make the trek, so in reality it's going to be at least another day before everyone decides that they need to start marching, and as we only currently have 2.5 days of drinking water. That shower is really irresponsible.
Same. I went on a date recently that asked what I was reading, and when I said Make It Stick she said, "so you're a marketer...", haha. It hurt a little bit but she was right about something, this book is for people looking for an edge in selling ideas and not for the people geeking out on human behaviour.
Hard to imagine in the current context of western countries, where the incentive is for publicly traded companies to try to only focus on making as much as money as possible and having products as cheap as possible, with no real incentive to treat lowly qualified workers which are easy to replace decently, or to care for the environment. We need laws to make the right incentive, which we have some in France, but reality shows that it's far from enough.
Not implemented due to protests, with no citation. 6000 miles of underground cables and 100 power plants was not implemented due to budget, almost certainly. The protests weren’t even required.
Seeing the title, I suspected that the typography will be messed up. And indeed, instead of my preferred configured font size, it is overly large and set in pixels, the line heights are higher than I would prefer as well (the font I use, Noto Sans, already has a pretty high leading). The situation with colors and margins is similar, to accompany that.

And the reason I guessed it to be that way is because it is like that much of the time: once people focus on something that is not broken too badly, more often they mess it up, rather than improve. I think a much better advice would be just to not touch it. Maybe go roll your own crypto if you feel creative, but stop messing up fonts, colors, and the rest of interfaces: plain HTML is good and sufficient for most web publishing.

Edit: though learning about typography still should not harm. Just applying it poorly--as done most of the time--may be annoying. Also same as with colors and adjacent design subjects.
That sounds like DRY, don’t repeat yourself. Taken to another level I try to think of this as instruction elimination. Where can I eliminate the most instructions, still pass all my tests, and then compare execution speeds?

Instruction elimination and DRY are basically the same things in practice but the former produces a more aggressive and utility focused mindset. I find when I think about large applications with instruction elimination mindset I am constantly churning on refactoring as requirements increase but the code size grows so very slowly that there is less to maintain and test automation continues to be measured between less than 7 seconds and up to 2 minutes depending upon the scenario and number of machines involved.
IIRC ZSH auto-fixes partial lines, and can display a marker if you enable PROMPT_SP (I don't think it's enabled by default):

> Attempt to preserve a partial line (i.e. a line that did not end with a newline) that would otherwise be covered up by the command prompt due to the PROMPT_CR option. This works by outputting some cursor-control characters, including a series of spaces, that should make the terminal wrap to the next line when a partial line is present (note that this is only successful if your terminal has automatic margins, which is typical).

> When a partial line is preserved, by default you will see an inverse+bold character at the end of the partial line: a ‘%’ for a normal user or a ‘#’ for root. If set, the shell parameter PROMPT_EOL_MARK can be used to customize how the end of partial lines are shown.
m68k got merged. I am hopeful for 6502 to also be.

pic12/16/18 next? (a man gonna dream...)
How many platforms do they each support?
I'm scraping the web. You are right by the way.
I have both the M1s and the BL702 maix board which I'm using for AI. Lupyen, would they both use the same base code as the BL602/4 for drivers?

I am especially interested in getting a large MIPI display working with the BL808. The crowd funder hinted at being able to work with 1280x480 displays but tbh I'm not an expert with electronics- you have to remap 50 pins to the 18 pin dsi connector (on the maix board) and run the correct refresh timings.

Are you looking to add large display support? I'm guessing no as the Ox64 doesn't have a MIPI breakout, but was hopeful here.
The thing is that this isn't logging in to your web server, it's just sending a copy of your password to Microsoft in plaintext.
The components are more tightly integrated than a gnu/linux system since they’re all maintained together.

Well, sure, but most of the software they maintain are the relatively “trivial” parts of the system. Or rather, the software that gives me the most trouble isn’t anything they’d be maintaining.

I have long wished they would find some killer application(s) for the server sector and grow in widespread usage.

I wouldn’t hold my breath. I mean, what feature or functionality could any BSD have that would justify migrating? It would be easier to add an equivalent to Linux in virtually every case. Not to mention that many “cloud-native” projects are typically Linux-only.

I don’t really care one way or the other, it’s basically “coke vs Pepsi” as far as I’m concerned. It’s just hard to see any BSD variant challenging Linux.