skysight-inc/HackerNews huggingface dataset:
I continue to be fascinated about what the next qualitative iteration of models will be, marrying the language processing and broad knowledge of LLMs with an ability to reason rigorously.

If I understand correctly, this work (or the most obvious productionized version of it) is similar to the work Deep Mind released a while back: the LLM is essentially used for “intuition”—-to pick the approach—-and then you hand off to something mechanical/rigorous.

I think we’re going to see a huge growth in that type of system. I still think it’s kind of weird and cool that our meat brains with spreading activation can (with some amount of effort/concentration) switch over into math mode and manipulate symbols and inferences rigorously.
Sure thing! This assumes everyone has macOS, but isn't very mac-specific.

* Introduction
Quick history of Unix

* When you log in
Difference between login and interactive shells
System shell files vs user shell files
.zshenv for environment variables like PATH, EDITOR, and PAGER
.zprofile for login shells, we don't use it
.zshrc for interactive shells
Your login files are scripts, and can have anything in them

* Moving Around

** Where am I?
pwd = "print working directory"
stored in variable $PWD
Confusingly, also called current working directory, so you may see CWD or cwd mentioned

** What is here?
ls
ls -al
ls -alt
. prefix to filenames makes them hidden
. is also the current directory!
.. means the parent directory

** Finding my way around
cd
cd -
dirs | sed -e $'s/ /\\\n/g'

** Getting Help From The Man
man 1 zshbuiltins
manpage sections

** PATH
echo $PATH | sed -e $'s/:/\\\n/g'
zshenv PATH setting

** Environment Variables
env | sort
EDITOR variable

** History
ctrl-r vs up arrow

** Permissions
Making something executable

** Prompts
zsh promptinit
zsh prompt -l

** Pipes
Iterate to show how pipes work
cat ~/.zshrc | grep PATH

** Commands

*** BSD vs GNU commands
BSD are supplied by Apple, and Apple often uses old versions
GNU are installed via homebrew, and match those commands available in Linux
They were thinking of the tool the 1st comment named probably.
> If you look at Google's documentation of Android now, you don't need to supplement it.

Which speaks to the lack of need for books in certain elements of the Android market, but not to technical publishing more generally.
What they don't tell you is haskell integration is still poor on interview platforms so you will be solving them in python.
Tons of disney, richie rich, archie etc, though perhaps not sold in the USA (pretty common in Europe and SE Asia) but are pretty American!
This is real, it happened to me and it hurt.
Well, I happen to know people in the US military who have been on this vacation since the beginning of the year. I am not particularly social or well-connected, so the fact that I know someone like that means it's widespread. Downvotes or no, that's reality.
I suspect it's the only Europe-UK supply chain that hasn't been affected by Brexit :) Maybe the Tories need to persuade a few drug dealers to go straight and fix the whole supply chain problem.
OpenDNS Not Available in France or Portugal
It was just 101 years ago that galaxies outside the Milky Way were discovered and that the universe we can observe grew from being 100k light years to 93 billion light years in diameter. The existence of black holes was first observed in the 1970s. It is a good bet other astonishing objects are yet to be discovered.
https://arxiv.org/abs/0811.2732

1. Introduction

Since the discovery of the anisotropy of the cosmic microwave background (CMB) radiation by COBE...
The wording was not intentionally construed to imply anything of the sort. It's been updated now to say "with" instead of "from"
I haven't personally tried it but I understand that it shouldn't be too difficult to 'undervolt' it, possibly even from user space.
I work on the NEO Surveyor space telescope, doing orbit simulations of asteroids/comets and predicting expected observations of objects like these.

If you look: https://www.minorplanetcenter.net/db_search/show_object?utf8...

You will see this was actually spotted back in 2014, but only seen for a few days. When an object is only observed for a few days we generally cannot compute an orbit for it, there is just not enough data to pin it down. However during this current pass of it (the last time it will come by for at least a few centuries), we have enough observations to pin its orbit down. Note that a lot of this is automated nowadays, with automatic observation and "interesting" objects being flagged automatically. There are a lot of small rocks up there (sub 100m).
Heliboard works really great, but for swiping you need to manually add Google's lib (which I did), and support for alternative language layouts is very basic (if that's something you need).
I just thought of a great business model for a new startup!
Big difference is hard cheese is nutrient dense and leave me without hunger for a far longer time than empty calories simple carbs that basically bypasses the body checks. Lot of times when I am hungry my body just wants protein. 1000kcal of sugars can leave me hungry after one hour. I eat ton of 80% chocolate and hard cheese and don't get any weight. On the other hand with simple carbs and white flour based things (pasta, bread, pastries...) I have to consciously limit myself to a few per weeks otherwise kg starts piling on fast again.
Open-LLM performances are plateauing
I use Hacker's Keyboard for its arrow keys and ctrl (for copy and paste). I can't see useful keys like that mentioned as features of FUTO keyboard.
> Maybe the Tories need to persuade a few drug dealers to go straight and fix the whole supply chain problem.

They'll get Michael Gove right on that!
Leaving you and anyone else alone - be they young, old, male, female, blue, furry or even ... American - implicitly requires the continuation of politics that will make sure that you are in fact left the fuck alone.

You are probably not going to be surprised, but things are not going great.
> The funny thing is that equipment wasn't even mine,

Did you have a reputation for being good at debugging things? Expertise and experience in one area often has crossover in connected systems.

I got pulled in to advise on an automated options market making system written in Java when the closest I'd done was equity execution algorithms in Slang and C++ (and integration with the options automated delta hedging facility).
Postgres 16 Security Technical Implementation Guide Released
I wonder how fast they decide to start using your files for training?

So if you turn it off on Aug 15th at 8pm, is it too late? Do they make it so, if its not turned off 1 second after midnight Aug 14th, its already using your data to train? Sounds crazy, but I expect them to do something like that. So that no matter what you can't beat their clock to prevent them from using your data.

The opt-out should be before they even enable AI to start training, say July 15th. But they won't because they need your data to train on to make more money.
> Why would I do that unless I have a strong reason to use it rather than just
> move on with my day? A link is posted on HN for some cool software, it is
> already annoying to install it due to Microsoft complaining about it, then
> when I first run it, it opens up a tiny window an is asking if it can upload
> information. I don't expect to spend time figuring out its issues. I can't be
> the only one using a 4K display on Windows.

Spoken as a true reverse engineer, you should ask for a refund.
Not true at all. We do use the "Source First" license for a lot of things, but all of my projects are OSI Certified (TM) Open Source. For example:

* https://github.com/futo-org/circles-android (AGPL)

* https://github.com/futo-org/circles-ios (AGPL)

* https://github.com/futo-org/matrix.swift (Apache 2.0)

There are a few other little things here and there, mostly Apache 2.0, but the above are the bigger ones.

Edit: There is also Alex's Whisper finetuning repo https://github.com/futo-org/whisper-acft (MIT)
Marina vN Whitman had the book in her possession so I suppose they visited her and got access to it that way. I emailed her back in 2022 about it and she said she was planning on sending it to Josh Levy at the Library of Congress to go with the von Neumann/Klara papers there but I don't know how that ended up going, perhaps the book might be there now.

In a similar fashion Vincent Ford, who was the Air Force colonel responsible for von Neumann when he was in hospital dying of cancer, published a manuscript, Twenty-Four Minutes To Checkmate, on the US crash program for ICBMs focusing on the 1953-1957 period, which obviously overlaps a lot with when von Neumann was involved in those topics. It's held in the Dwight Eisenhower Library in Kansas however it's also only available if you visit in person.

It would be a great boost to the history of science if both texts were either published or scanned and uploaded online to make them significantly more accessible to both scholars and interested laypersons.
> Keep your links safe and accessible only to authorized users

Is the operator of this service also able to access the links?

If yes, then right away this claim is not true and merits caution: the random unknown owner of this service can now harvest links which were deemed sensitive enough to merit a password to access.
How?

When dealing with a country of over 300 million people and a near $30 trillion economy Congress cannot possibly specify things so completely that there won't be things that need interpretation.
Sorry but this is a crazy POV. You come to HN assuming and pushing for USA centric views, and refuse to click through and read news from other sources?
Don’t forget that they legalized bribery as well. Just so long as the payment is made after the fact it’s considered a “gratuity”. This court is making drastic long reaches changed and overthrowing precedent whenever convenient.

https://apnews.com/article/supreme-court-public-corruption-b...

> The high court’s 6-3 opinion along ideological lines found the law criminalizes bribes given before an official act, not rewards handed out after.

> “Some gratuities can be problematic. Others are commonplace and might be innocuous,” Justice Brett Kavanaugh wrote. The lines aren’t always clear, especially since many state and local officials have other jobs, he said.

> The high court sided with James Snyder, a Republican who was convicted of taking $13,000 from a trucking company after prosecutors said he steered about $1 million worth of city contracts to the company.
Are you on a unix? try `dmesg | grep Framework`
Just don't publish it, and you can kinda do whatever. Remember, just because you build or learn something doesn't mean you have to broadcast it. Edification can be its own reward.
?? https://gitlab.futo.org/alex/latinime

Isn't that the whole point of futo? Paid for open source software?
This is natively embedded, so no web view.

The author shared his answer to this on Reddit a while back [1]. Basically, the primary reason this exists is because the first party solution isn't available yet (without compiling the engine yourself). And Thermion doesn't rely on Flutter at all.

[1] https://www.reddit.com/r/FlutterDev/comments/1digpot/comment...
Edge AI Inference in Heterogeneous Environs: Requirements, Challenges, Solutions [pdf]
This does seem like the better path for a lot of people. A good article on this is https://sive.rs/balance.
The Trump Skeptic Who Fended Off a Far-Right Challenge in Utah
Those both fall under the executive branch.

They do, but courts judge your case.

That gives the illusion of a democratic process, but in reality, agency rulemakers are not accountable to the people

I didn't claim it it to be a democratic process, I said it was not an arbitrary or isolated one. The democratic element is in the selection of an executive every 4 years. the rulemaking procedures under the Administrative Procedures Act won't be formally changed by this, but I suspect it'll be lengthenedand more heavily litigated, resulting in less regulatory clarity and slower enforcement.
Sony to gradually cease production of optical disc storage
Yes but that’s not what the headline nor the article discuss. You’re free to misinterpret things till kingdom come, but that’s on you…
I don't need to see the link, I am aware of what your stance roughly is. I'm saying:

Why are you so intolerant of the freedoms of other people to make their own choices about what license structures are best for them and their needs?

Developers should have the freedom to choose whatever license they please. Just because you have a pet category of license structure that you think everyone should use, why can't you be respectful of those who choose other options?

It is essentially you forcing your narrow definition of what you think licenses are and how they should be structured onto everyone else?

Why can't people simply say they understand the various licensing options but they choose one that isn't the one you like after a careful consideration? Are they simply not allowed to have a diffferent opinion than you?

If you make your argument and the maintainer still chooses another license, that is a failure on the part of the FSF to properly sell their mission or elaborate their arguments. Does the fact that someone chose something other than what you prefer mean that you now need to go around evangelizing every time that any non-FOSS license is used?
You are aware that there are languages other than English, and that the author is Swiss?

It may even blow your mind that Google searches are not in fact the same for other people, and can vary in time, location, and the individual searching for something.

So perhaps you should explicitly say what your concern is?

When I search for werwolv, I get the person's github entry, and the german entry for 'Werewolf' https://de.wikipedia.org/wiki/Werwolf
As with most things there's a balance. I've found if I try to learn one or two new features or shortcuts every couple weeks with the tools I use extensively, eventually I do get a sharp axe.

Typing speed is nice but not an important metric I don't think. It's like someone speeding past you on the road only for you to see them at the next red light. Other things will slow you down like code review or needing to wait until a set time to deploy. Also things like copilot and advanced auto-completion are making it less relevant.
: barefoot

That's what calluses are for.

: without painkillers

And poppies, and https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9785912/ . Even animals know what plants to eat to help with pain.

: or healthcare

Someone in the tribe knew how to make a splint and what herbs or foods were best for what ailment.

: or a guaranteed source of water that does not carry those roundworm parasites that love to swim inside your eyes

In general I expect that there would be few enough people, and they'd be sufficiently knowledgeable of the water sources among the areas they frequented, that this usually wouldn't be a problem.

https://askdruniverse.wsu.edu/2018/08/31/dr-universe-people-...

https://www.theatlantic.com/science/archive/2020/01/how-did-...

> One group of students decided to put this method to the test. They hoisted their water-filled deer hide directly over a fire, and they planned to let it go as long as the hide stayed intact. The hair on the outside singed, but the skin itself held up just fine. So the students waited and waited and waited. Four hours later, the hide was still intact. It did get very hard, but neither sprung a leak nor burned.

: or anti polar bear sprays so they didn't tear you off and eat alive?.

I'm pretty sure that by the time some of us migrated to where polar bears live we had some pretty good spear technology.
I agree with your point. Certainly, reacting to influence attempts, accepting feedback, and the others are also goals of interpersonal communication. Have you ever tried or thought about categorizing these goals?
Both are privacy-focused open-source keyboards, the difference is that FUTO Keyboards also includes a polished voice-input capability designed for dictation and speech-to-text functionality that is also fully-offline capable and built on top of Whisper models. I don't believe AnySoftKeyboard offers this capability but I could be mistaken.
That’s literally just one of many other comment threads.
I don't quite understand this. Postponing my death won't solve the problem; it's inevitable. The real question is, whose time takes priority—others' or mine?
I'm guessing they were (rightfully) pointing out it's still harder than just ignoring any input if there is a given tone. Which yeah, it is. I'm assuming they'd prefer to use that for things like advertisements though, since the cancellation approach lets them ‘listen’ while still talking/playing music/etc.
They also have: https://sourcefirst.com
Or go the European way and require regulations to explicitly list which act(s) of Congress they are based on.
The Once and Future Perl – Damian Conway – TPRC 2024 [video]
Oh yes, of course! I had to remove links several times. Even around 2AM at night.

I received so many phishing reports from Vercel and Cloudflare and even the Italian government directly. It was really tough so I had to add Google's Safe Browsing API check to check for any phishing links. I wish I didn't have to but no phishing reports since then.
Yea exactly, thats why I asked haha.
Notoriously, the site developer wrote his own crypto code... in PHP... which you should never do, regardless, but especially in PHP (I recall some numerical limitation having to do with bit rotation and automatically-signed numbers at the time)
> I feel bad for the poor soul who has to waste his whole career fighting over who gets the remaining sliver of money instead of doing something productive.

Returning money is the most productive thing a lawyer can do.
What about software you download from a third party yum or apt repo? You would still say you're getting it from yum/apt, albeit not from a red hat or canonical hosted yum/apt repo. Same for f-droid. They're just called f-droid repos and the biggest repo that currently exists is also run by f-droid.
Go out of business as in no more updates, as tends to happen to quite a few open source projects. Devs need to earn a living somehow.
As I said, geography was a bit different back then. These are the same people I’m talking about. They came from Italy.
Column-wheel chronographs generally offer a smoother, lighter operation than cam-action chronographs, but the chronograph sub-complication I'm most interested in is the vertical clutch. https://revolutionwatch.com/vertical-clutch-chronographs/
It's not open-source, just source-available. Check the license.
I've had 20 years of thinkpads, and I really like them, but the FW 13 (intel) is the best laptop I've used, including various work provided MBPs (M2).

There is actual honest-to-goodness linux support and active commitment from the manufacturer to continue supporting it. It's the first time in a long time that I've felt my interests were aligned with those of the laptop manufacturer,.
Feedback Is What Makes Everything Work
Hey, I am the dev who created Pikimov. Even for me it's strange to add 'no AI' as a bullet point, considering all the massive hype around the tech. But with all the current talks about artists creations being used to train AI models against their will, especially by a well known company, I thought people would be insterested to know this is not the case with Pikimov.
I think it’s more that it’s been shown that a motor at each panel is more expensive than manually rotatable mirrors that are maintained by a smaller set of mirrors. For example, there was a startup a few years back that had robots on a rail system go to each panel and adjust it.

The reason should be obvious in that the motors are higher maintenance systems so you don’t want to scale with the size of your plant. I imagine drones are being used for a similar purpose: the drones further reduce how many adjusters you need vs rails and the AI is so that the drones can actually adjust the panels.
That's what they do. They add additional layers on top of the sandbox like jailing. You can jail your sandboxes, but it's not so easy to make that a multi-platform solution for gaming. I think for games I would just stick to a fast interpreter and apply some generally appropriate measures to discourage timing attacks.
well there are red herrings :)
if that pair wouldn't form a loop it doesn't work
This has got to be a scam. if your data need to be secure then use authorization and authentication. If you need to keep a link secret then don’t share it with some random website. This isn’t rocket surgery.
So you mean the actual definition should not be the common sense one? That's probably pragmatic, yes.
No you can't. You're banned from removing their payment nag.
I think you and p51-remorse are discussing different parts of the article. They're saying the updated analysis is suspect because of the risk of false discoveries. I believe that's probably true in the usual way--if we study 20 subgroups with no actual effect, then we expect one to show an effect with p < 0.05. There's no mention of preregistration or anything like a Bonferroni correction to manage that risk.

You're saying the original analysis was wrong due to a coding error. I believe that's also true, but that's not what they were discussing. The variable names are inscrutable, but the article text also seems to imply that line (mis)codes divorce, not severe illness:

> People who left the study were actually miscoded as getting divorced.

So they actually found a correlation between severe illness and leaving the study. That's perhaps intuitive, if those people were too busy managing their illness to respond.
iOS allows third party browser engines since iOS 17.4 in the EU.
Of the two, only AnySoftKeyboard is open-source.
Now I just open vscode with default settings and I am productive right away.

I am right away distracted by a huge rectangle around cursor line, current word highlighting and general jumpiness of everything. Coding in vscode feels like writing a book in the middle of brazilian festival. And then it cannot do random simple things like proper indents or humane snippets. The amount of work required to unfuck vscode is really comparable to creating .vimrc from scratch.
The first thing to look for is if the solution states clearly that it is a speculation-safe sandbox. I do think that not many will do that, but there are some. And go from there.
Ah. Yeah, perhaps, but that was a normal, common word that the bad guys used because it sounded scary, but which still has its original meaning. It's not a word I'd primarily associate with those particular bad guys.
'GPU' doesn't mean discrete, power-hungry graphics card either (not that you said it did).

OpenGL calls for basic desktop rendering can be reliably handled by the integrated graphics in the CPU. In which case OpenGL can almost be viewed as a parallel instruction set / DSL.
He's the right man for the job! https://www.bbc.co.uk/news/uk-politics-48572982
I got the tribal insinuation.
No you arent, youre clearly asking in a rhetorical way. Re-read your post.

Any criticism brought up you'd dismiss. Heres one: lack of native 64 bit integers.