skysight-inc/HackerNews huggingface dataset:
I think you're doing yourself a disservice by having to play with the formatting itself instead of being able to express what you mean with the tools the language already provides you.

As soon as anyone else looks at your code or wants to participate in the development process, what is meaningful to you about the arrangement simply won't translate into their view; what is the use of a programming language if not to use its existing definitions and concepts to communicate the concepts of programming?

You can use fancy syntax tricks, but domain-specific languages are a much better way to handle the same problem. You can express things with them that other humans can understand while still retaining access to your existing formatting tools.
Large birds can boost forest carbon storage – if deforestation doesn't interfere
> the universe is deterministic, which it is. (both in Newtonian physics and quantum mechanics).

Bold claim. Have there been some advancements in our understanding, that I'm not aware of?
You can effectively submit two CLs at the same time where the first CL is just a formatting change and the second has just your changes. Although you would need approval for both CLs which really is no different than if you used Git/Mercurial.
I have a copy of Logo: Programming with Turtle Graphics that came with Logo for the IBM PC by LCSI. I can scan it tomorrow.
Yeah, I'm just responding to the guy who is probably the most internet-famous C++ hater in the world. I guess he likes to make up stuff too. The article is good.
Apple have repeatedly thrown their customers under the bus especially in China. At least Google had the courage to withdraw entirely.
The commit history for untouched files is mostly just cleanup CLs for reformatting or changing an import for a decade+. A lot of the history is rather useless for finding a bug but at least its generally well tagged with 'CLEANUP=TRUE' so you know to ignore them.
Yeah basically is there some sort of way to target the disease with the radioactive drugs?

I mean I know some has to be, but it feels kinda like it is the last ditch effort to kill something like with raditation therapy requiring bonemarrow transplant aftward.
TH1520, same SoC as LM4A that's been available for over half a year now.
Fair to assume this is a bank or a financial institution? IMHO working with excel sheets will not justify the usage of the tool.

You get the idea of what I am trying to build, if you were to do this for your org, how would you solve the problem? What will you do?
> If it were true free market forces would already gone 100% solar

EVs might be cheaper than ICE cars now (including energy expense over their expected lifetimes)... But that doesn't mean the free market should be 100% EVs (all of a sudden).
What do you mean "It doesn't make a living."? From what I can tell, his full time job is working on iTerm2. Are you saying that's not true?

I didn't like the feature, so I switched to another terminal emulator. I'm not upset and I didn't bully the dev. I wasn't a paying customer so I don't expect anyone to listen to me. I just found another product that suits the way I work much better, so I'm happy all round.
Very cool. It says fully open source, are the board layout files available?
> If Mil technology is too cheap then US advantage is much lower.

Very true. I played with submitting grants for DARPA funding in the late 1990's. C4I and Network-Centric Warfare were big things. I predicted (almost) everything I've seen being used in Ukraine. I stopped when I realized they only wanted things that gave them a competitive advantage with a moat. (That's they way we phrase it in 2024, not what I would have said at the time.) They wanted things that were extremely expensive to make that would be impossible of extremely difficult for our adversaries to counter or replicate. My designs for cheap weapons anyone could build with parts from eBay and hobby stores were not anything they wanted anyone building.
They are getting better and better. I am fairly sure the short stories and advertising copy you can produce by pushing current techniques harder will also improve.

I don't know whether current techniques will be enough to 'write a really, really good short story', but I'm willing to bet we'll get there soon enough (whether that'll involve new techniques or not).
Oh, I 100% agree we are not there. Every time a new model comes out I cook up a few undergrad math homework questions to see if they’ve gotten any better, and so far they haven’t. But, the thing I like about “reducing” AGI to solving math is that it kind of sidesteps these thorny questions about interacting with the real world to conduct experiments, etc. It’s something that, in principle, can be done with the current text interfaces, and it’s pretty easy to tell whether or not we’ve gotten there.
top speed != average speed
Thanks so much, that means a lot.
Volts is an awesome podcast for energy-transition enthusiasts.
As you suggest with source evaluation, there is something to be said for trying to teach some methods of verifying whether something is true (for some definition of "true") including methods for assessing (to some extent) the accuracy of various sources of information, finding information that may have been omitted, identifying underlying assumptions and viewpoints, etc.

Unfortunately, as dang has noted, fact checkers tend to find facts that support their position and to ignore or discredit those that do not. It's even a problem for scientists and researchers.

I still like the idea of a curated collection of sources.
Remember that time Steve was excited to integrate Facebook and Twitter into iOS as first class citizens?

This reminds me so much of that moment

Then I remember how bad Siri is. OpenAI has basically shamed Apple out of no where. They desperately need this just to look competitive in the space .. which is weird and unfortunate
What would be interesting, is a system that makes some measurement of a person (eg analyse a video of them eating different cheesecakes or talking about their tastes or whatever), and bakes the best cheesecake specifically for them.

Then you can get a panel of 100 people and bake 100 cheesecakes for them.
So confident that a significant fraction aren't auto-immune, aren't psycho somatic, aren't injury?
Thank you so much! We're so happy you like it. It means a lot to us. We will be adding more pictures right now!

We're exposing 1.25mm pitch Molex Picoblade connectors to make the board as small as possible. The built-in magnetics allow it to be connected to any Ethernet device just from spicing into an RJ45 connector.
We need solar roofs to be cheap though.
I think there is a significant lack of explanation in his jump to step 2, but I think this is where his domain experience is being applied.

The underwear -gnomeish jump here I think is: the “only” reasonable explanation for this (overtly terrible from an optics perspective) selection is that this is the NSA getting their hooks deeply into openAI in the same way they did with Google, which can now be reasonably considered a commercial extension or at least a close partner of the NSA.

Arguably, googles business model is based on violating the privacy of every person on earth to the maximum extent that they can get away with, so the somewhat hyperbolic statement seems less extreme in that context.

But, that is just my interpretation, I’m not in his head, so I could definitely be wrong. Still, this is my best estimate of the situation.
I’m pretty passionate about the space and I’ve seen good diffs from the ‘Ollama’folks, they’ve pushed the ggerganov repo forward in some ways.

I’m a bit unsettled about what to me feels like an ambiguous posture on commercial activity.

I’ve got no issue with folks doing open-source type stuff to make money, a lot of good code gets written that way.

But I’ve learned the hard way that if a project feels kinda squirrelly it’s wise to keep one’s ears up.

I still build ggerganov main from source and type out the five parameters.
It’s a mix of issues with both incumbency and health episodes that come with old age.

In practice the legislatures do not sufficiently police the health of their members and remove them if they are in poor health and unfit to serve; and four to six years can be quite a long time for health issues to emerge.
I've heard that positive spin responded to with "this company is my biggest investment, I'm not going anywhere" :)
https://archive.is/4wBAq
I’m talking about the simple fact that Five Eyes have so many resources put together that you will never hide forever, unless you are willing to drastically change your life.

The good news is you are not important enough for them to care about you unless you are an Iranian general with nuclear access or some shit. Even these ransomware groups aren’t even on the radar of the people who are actually being targeted, I’m talking about stopping the yakuza trying to sell nukes to terrorists level of threat.
https://ooh.directory/search/?q=furry

Ah damn, I'm the only one so far?
Working on an open-source GPTs Store designed for use in siloed environments
I'd be curious what role "global approvers" at Google/Google's scale typically have/how many are there/what's the process?
It's more common than you think! Tools like https://github.com/facebook/jscodeshift, https://ts-morph.com/, and https://ast-grep.github.io/ are the ones I'm more familiar with (since my day-to-day is TypeScript).

When I led the conversion of a decently-sized codebase from Flow-typed JS to TypeScript, I ensured that a code formatting tool that we were already using on pre-commit and CI called `prettier` was executed after each step. We took a git snapshot of each step of our automated conversion pipeline, and the diff was much clearer with `prettier` in place at each of those steps.

We've since used codemods frequently to make huge changes to the codebase in an automatic, reproducible, iterable way. They're very comfortable, very fun, and (thanks to the use of a formatter on all code) rarely produce incomprehensible diffs.
Yes! It is here:
https://github.com/murexrobotics/electrical-2024
under networking/switch
Edit: We use KiCAD Nightly 8.99 for the new features. You can view our boards easiest with kicanvas.org and just pasting in the https://github.com/murexrobotics/electrical-2024/tree/main/n...
The problem with a whistleblower from an intelligence agency is much like one from a tobacco company. Yes, they may be nobler than their peers in those institutions who didn't blow the whistle, but at the end of the day, they are the sort of person who would work at an intelligence agency or tobacco company in the first place.
Fixed now, although leaving out the court order is also misleading.

If anyone wants to suggest an accurate, neutral title that gets it all under the 80 char limit, we can change it again.
What Is Going on with Next-Generation Apple CarPlay?
Freight trains can require several miles to stop even at full brake application (which will also ruin the wheels). I agree that it's not the same as a plane, but they still definitely can't stop whenever they'd like or for free.
Show HN: Elevate Your Online Presence with SociSpace
SociSpace: A personal/portfolio page with a social card.

Website link: https://socispace.vercel.app
Seeming as newlines may appear in file names, it is a good use. Otherwise something as mundane as a bug in program A (which produces a file name with a newline) has a potential to expose a bug in program B (which fails to interpret a file name with a newline).
Apparently still with a version of the NSFW filter that made everyone abandon it in 2020.
Top speed on a Magnum Premium 2 is 45kph. So it really depends on where you’re using it as to the kind of average speeds are reasonable.

Average 35+kph and they are under 3h per day. It doesn’t seem that unlikely especially if it’s more like 90km than 100.
While land isn't free, solar doesn't need land, it needs sun. By which I mean there's an awful lot of free rooftop space available, and a lot of space which would benefit from a roof (like car parks at the mall).

So it's not competing for land against say buildings or agriculture.

Now sure, the owner of the roof may want some rent etc, but that really doesn't alter the cost of the energy, it just spreads the benefit.
Why didn't they shot it down?
> it took me several hours to get llama.cpp working as a server

Mm... Running a llama.cpp server is annoying; which model to use? Is it in the right format? What should I set `ngl` to? However, perhaps it would be fairer and more accurate to say that installing llama.cpp and installing ollama have slightly different effort levels (one taking about 3 minutes to clone and run `make` and the other taking about 20 seconds to download).

Once you have them installed, just typing: `ollama run llama3` is quite convenient, compared to finding the right arguments for the llama.cpp `server`.

Sensible defaults. Installs llama.cpp. Downloads the model for you. Runs the server for you. Nice.

> it took me 2 minutes to get ollama working

So, you know, I think its broadly speaking a fair sentiment; even if it probably isn't quite true.

...

However, when you look at it from that perspective, some things stand out:

- ollama is basically just a wrapper around llama.cpp

- ollama doesn't let you do all the things llama.cpp does

- ollama offers absolutely zero way, or even the hint of a suggestion of a way to move from using ollama to using llama.cpp if you need anything more.

Here's some interesting questions:

- Why can't I just run llama.cpp's server with the defaults from ollama?

- Why can't I get a simple dump of the 'sensible' defaults from ollama that it uses?

- Why can't I get a simple dump of the GGUF (or whatever) model file ollama uses?

- Why isn't 'a list of sensible defaults' just a github repository with download link and a list of params to use?

- Who's paying for the enormous cost of hosting all those ollama model files and converting them into usable formats?

The project is convenient, and if you need an easy way to get started, absolutely use it.

...but, I guess, I recommend you learn how to use llama.cpp itself at some point, because most free things are only free while someone else is paying for them.

Consider this:

If ollama's free hosted models were no longer free and you had to manually find and download your own model files, would you still use it? Could you still use it?

If not... maybe, don't base your business / anything important around it.

It's a SaaS with an open source client, and you're using the free plan.
Why Government Unions–Unlike Trade Unions–Corrupt Democracy
git5's been depreciated. fig/hg is well supported though.
Thank you! This goes in our underwater robot, and it has all the features that let the system work without anything else. However, we will definitely keep your suggestions in mind for our future revisions. We're seeing how to make this board even smaller, while keeping the cost down. 7 dollars (technically 6.9) is the mark to beat.
> At least in the US, the government essentially taxes individuals based on revenue, not profit. With some specific limited exceptions, they don't care what your living costs are or how "sustainable" the taxes are for you.

How it that a significant portion of Americans, typically around 40% to 45%, do not owe federal income taxes? This includes people whose income falls below the standard deduction threshold, which varies depending on filing status, and those who qualify for enough tax credits to offset their tax liability. Does 40-45% of America have no revenue? Where do they live? What do they eat? They have revenue but not surplus revenue (as defined by tax code) so they pay no tax on their revenue.

> The whole notion of "a surplus" also doesn't really make sense. Beyond food and basic shelter to keep people barely alive, everything can be considered to be "a surplus".

That some complain about Western “basic food” and “basic shelter” is an indicator of how wealthy we are. Add to this “basic medicine”, “basic safety and rights”, “basic entertainment”, “basic transportation”.... What fraction of the global population alive today would trade places with those who enjoy these modern western “basics”? Same question but roll back time a few centuries? On the flip side, would you be willing to have your family and friends trade places with random people from centuries ago?

> I'm not familiar with how the EU works, but in the US, we control our own currency. Since 1970, there's been 4 years that enough taxes were collected to cover spending. "Governments need taxes to buy things" is not how things work. We've also had a trade deficit since the 70s, so no "surplus" there.

You raise tangential topics that it would take paragraphs to explain. Hopefully readers will not be confused.

> Legal slavery still exists today including in the US (the constitution still explicitly allows it), so I'm not sure where it was outcompeted.

You seriously believe today there is slavery in America? EU? Do you think your credibility improves when you argue as you do above?

> This is again all beside the point, which is just that non-profit-seeking activity is important too.

How did you read my words and reach the conclusion that I think non-profit-seeking activity is unimportant?

How wealth is spent is far *more important* than how wealth is created since if you are going to squander wealth what is the point of creating it. Notice to spend and benefit from wealth you have to create it and profit is a measure of wealth creation.
I would love an opml with everything.
Arrow's Theorem only applies to some voting systems and only in some situations.

Yes, the theorem doesn' apply to approval voting nor does it apply to score voting.

Arrow's theorem only applies to deterministic voting systems. So sortition (or other method based on random sampling) are not affected.

The theorem also doesn't apply to proportional representation systems. (Though they have their own problems, of course.)

Most RCV systems are very gameable with tactical voting. Though they aren't that useful, I guess.

---

Arrow's theorem also doesn't guarantee that you will have problems. It just says that for some votings systems you can construct voting populations with preference that can't be captured well. It doesn't say whether these situations are likely to occur in practice.

---

Arrow's theorem also doesn't apply when you allow bargaining, or people compensating each other.

---

Of course, the problem with democracy in practice isn't so much that existing voting systems don't capture what voters want. Even first-past-the-post seems to be doing a reasonable job of that.

The problem is that voters want bad things like protectionism or war or price controls etc. See https://en.wikipedia.org/wiki/The_Myth_of_the_Rational_Voter
> The Cascadia subduction zone (CSZ) has hosted giant earthquakes of moment magnitude >8.5 in the past and poses a major geohazard to populations of the Pacific Northwest.

Read that part just as the train announced ‘Now entering, Beacon Hill’ and it was a touch scary thinking about what would happen in that situation.
Autoformatters got popular was because a lot people don't care about formatting, and those who do care can't win against the auto part of autoformatters.

It works for go because gofmt was there from the start, so even if you are returning a multi-dimension array and elements come out unaligned, that's just accepted as how it is and nobody cares. For other languages, people will have to either accept "not caring" as becoming the norm, or actively fight the autoformatter from steamrolling over their code.

For people who would give more thought to how their code would be read, autoformatters were often more frustrating than "nice".
A sufficiently-motivated engineer could do this today by setting a different formatter in their editor than in their pre-commit hook. Then they need only activate the formatter in their editor as they edit, and ensure pre-commit hooks run as they commit.

This saves you the trouble of authoring a separate programming language, or finding a way to preserve all of the niceties of the original syntax and formatting that wouldn't directly translate to an AST (like how many newlines are after a particular stanza or function).

Case in point: Recast (https://github.com/benjamn/recast) is of particular interest with regards to JS/TS in this vein, because it does preserve a lot of the spirit of the source in its conception of the AST. But also last time I used it (couple years ago now) it would explode on any code with an emoji in it. It's genuinely not an easy problem.
> There is still just one winner, just as now, and I'm not sure the people who picked them under duress will really feel they were listened to.

Huh, where is that duress coming from?

> (Or they can approve of only one, and almost certainly lose if it's not one of the two most popular parties.)

Huh, why can they approve of only one? The whole point is that you can approve more than one.
I think that's what InterLisp did.
Covid is coming for Calif., and it's already hitting the Bay Area the hardest
If your ls program supports the ‘--dired’ option, Dired automatically passes it that option; this causes ls to emit special escape sequences for certain unusual file names, without which Dired will not be able to parse those names. The first time you run Dired in an Emacs session, it checks whether ls supports the ‘--dired’ option by calling it once with that option. If the exit code is 0, Dired will subsequently use the ‘--dired’ option; otherwise it will not. You can inhibit this check by customizing the variable dired-use-ls-dired. The value unspecified (the default) means to perform the check; any other non-nil value means to use the ‘--dired’ option; and nil means not to use the ‘--dired’ option.

On MS-Windows and MS-DOS systems, and also on some remote systems, Emacs emulates ls. See Emulation of ls on MS-Windows, for options and peculiarities of this emulation.

https://www.gnu.org/software/emacs/manual/html_node/emacs/Di...

https://www.gnu.org/software/emacs/manual/html_node/emacs/ls...
I don't think there are very many people disappointed about AI not running on their phone

When I even suggest my extended family that they even try ChatGPT and see how it can help them it becomes immediately clear that I am a super ultra mega nerd and they barely even humor hearing about it.

They all continue to buy iPhones.
Fascinating. Search engines are so bad, that we are going back to the pre-search engine era of pages of hand-curated links.
I never thought it only got popular with go. I remember using formatters before go. What go did do is that it shows how good it is if it is ubiquitous.
If it's a marketing gimmick, they're fooling a lot large power companies:

"Solar and battery storage to make up 81% of new U.S. electric-generating capacity in 2024"

https://www.eia.gov/todayinenergy/detail.php?id=61424
https://www.icann.org/resources/pages/dnssec-what-is-it-why-...

And how to enable it on `unbound` https://www.howtoforge.com/how-to-set-up-local-dns-with-unbo...
Cool.

Is this designed for personal or industrial use?
Excellent work, stay bold.
On a glance, the Chichilinsky theorem assumption of smoothness for the mapping between voter preferences And the vote result (the relation phi) seems burdensome. For example, many people might be effectively summarized as single issue voters - the topological consequences of a typical definition of differentiation (calculus) would seem unjustified. The exercise of exploring this world may be interesting, but I’m not convinced of its utility to politics.
I manage to ruin chain and cassette in under a year on my acoustic bike. The trick is to ride fast in all weather and never clean the chain.
You do not need a full time payments programmer to handle that many transactions running through a processor.

And as you say, there are services that handle the entire shop process, for a few more percentage points or a few hundred dollars per year, whichever you prefer.

If someone is charging ten dollars a month, it's not because of how much payment processing costs.