skysight-inc/HackerNews huggingface dataset:
It's -5 because if you add 5 to it, you get 0:

11111011
+ 00000101
--------
(1)00000000

Two's complement is just like those spinning number wheel counters, like the km counter in old cars: If you drove more than 999999 km, it would look like you drove 000000. Now, if you had a funny car where driving backwards would subtract from the km counter, starting at 000000 and driving backwards 1 km would result in 999999, therefor 999999 means -1 (you could say 000000 to 499999 is positive, 500000 to 999999 is negative).
A Virus That Generates Electricity
I got a clip looping just the word "raped" and then I quit immediately. Not cool.
Given:

- the string of missed opportunities in the last 10 years (specifically AI)

- the string of user-hostile product decisions (latest: adblockers vs YT)

- the complete lack of innovation (name a cool product launched by G in the last 5 years)

- the clear and present competitive threat to their flagship product (search vs. OpenAI)

- the once great culture that is rotting in place (see article)

- the stock price completely flat or slightly down for the past two years

- the enormous waste of goodwill Google had accumulated with both the world and their own employees, now all spilt on the floor (I mean, they've chosen to turn predatory, I'm not going to say fine, but ultimately: their choice. BUT: they don't even have the financial numbers that would justify such an about turn).

How that ball-less wonder Sundar still has a job as CEO, or at all for that matter, is nothing short of amazing.

Board is asleep at the wheel.
As a solo developer who has built B2C software in the past, 1600 sales in your first year is outstanding.

But I have to say your pricing is terrible - from all perspectives.

For you, unless you sell in the hundreds of thousands (which I've never heard of for B2C software) it's unlikely to ever be a day job replacement.

For the consumer, before they even decide to try your software you're telling them it has the lifetime value of a cup of coffee and a donut.

Price is one of the things consumers look at to determine something's value. You've priced your product so cheaply and many will view your product in the same way.

It's not much harder to sell a $99 product as it is to sell a $9 product to consumers. And the users you get at the higher price point will be better users.

But that 1600 user sales figure - for a one man shop in year one - is fantastic.

What would your yearly profits have been if your price was $49 or $79 or more?
Outside of major public figures it's not that unusual. Writing an obit. takes time, especially for lesser known figures where you may need to contact friends and family (who may be grieving) for information about the person's life.
Do you see what's wrong with this picture?

That we're accepting apps so bad that we normalized the workflow of the only way to extract text from them is screenshots and OCR.

Can you imagine having to deal with this shit on PCs as well?
that's the norm, unless you don't trust your kids
Why is this comment being down-voted?
I did what I what accused of. It "worked fine" in that the surveillance didn't yield any actionable evidence for the police - I got convicted but surveillance didn't play a part in it.
Why would you choose to be fired instead of just resigning?
I've been using Tutanota for years, but now I'm looking to migrate due to the missing IMAP/POP3 Bridge, inability to easily export all emails and slow search performance - Old emails essentially become irretrievable.
I can't use it to run MacOS and e.g. test stuff in Safari, anyway.
Reminds me of the BSJ (Bloody Stupid Johnson) shower, in The Hogfather: https://www.reddit.com/r/discworld/comments/54qyim/the_bsj_s...
A Readme.md file in the repository, which resides next to all the other abandoned side projects.

One level-up (hypothetically, never made it this far) would be Google Sheets to track features broken down stories/tasks, estimated effort, estimated value etc. in a single table.

At work we're using Jira and DevOps, and even there I prefer to keep track of things in a single Excel, despite the manual sync needed..
The operator exists. I can use it today, without exiting the type system, both in Python (limited to only unpacking one tuple type) and Typescript (not limited). Why do you keep claiming this to be impossible, when it already exists right now?

It's also in no way a special case in TS, the type system supports many things you need dependent types for. Maybe read up on it before you claim it can't do these things?
Also you'll see your home's electricity consumption and start to optimize that. Got our photovoltaics system pretty recently and 'low duty' consumption (lights off, most electronics off) sits at ~600W. Gotta find out what causes that... Refrigeration?
It's also worth noting that this electoral system is highly proportional, so the PVV have fewer than a quarter of the seats. How easy will it be for the PVV to form a government with so few seats?

> Only 23% voted for him.

That's 23% of votes cast. Strictly speaking, considering the 78% turnout, isn't it the case that only 18% of eligible voters voted for PVV? (And even whether those are votes for Wilders himself might be arguable.)
It's also rather unsafe to have traffic lights at all at such speeds. It's really hard to stop at 100 km/h.
When the person arguing uses their own authority (job, education) to give their answer relevance, then stating that the authority of another person is greater (job, education) to give that person's answer preeminence is valid.
As I understand it, there was supposed to be a liquidity event at a valuation of $86B, very soon. This event was no longer scheduled after Altman was removed.
Do you need an OpenTelemetry Collector?
I'm wondering what folks are doing here in general - do folks prefer to use an agent or collector (for the reasons in this blog, and more), or is writing directly to the backend more popular?
Oh wow, yeah, that’s a curious scenario. I am aware of people that don’t use even a smartphone (still!), and there are people who routinely travel with five laptops!
Why would you publish research about the activities of the company you are a board member of? Did she see OpenAI itself as an experiment to study? What's the mentality?
15 km/h is not "a little bit faster", WTF.
The author appears to go astray at

> When you start exploring the converse of Fermat’s little theorem, you’ll discover that it’s true for a lot of numbers. For example, for any integer
a, the number a^2–a is divisible by 2. You can see this by factoring a^2–a as
a×(a−1). Since a and a−1 are consecutive integers, one of them has to be even, and so their product must be divisible by 2.

This is Fermat's little theorem itself, NOT its converse. The latter would say that if a^p-a is divisible by p, then p is prime. To explore that, you would of course try non-prime p, as it holds vacuously for prime p.

So the the author continues to "explore the converse" by trying p=3 and p=5.

> In the 1800s, Bertrand’s postulate showed that for any n>3, there is always a prime number between n and 2n.

Why not state the weakest possible condition of n>1 ?!

> a new result about how Carmichael numbers are distributed.

I was a bit surprised to see the article end here, as I was expecting to learn a little about just what this distribution is like. Fortunately, the other "story of Daniel Larsen" article that this one links to does say more on that:

> In fact, Larsen’s argument didn’t just allow him to show that a Carmichael number must always appear between X and 2X. His proof works for much smaller intervals as well.
Have you considered bundling your app into a general software subscription service like SetApp? It would potentially give you some decent recurring revenue.
> I understand everything. It's you who doesn't understand. What I described is for ALL type systems in general. Not python types.

Then why is what you're claiming to be impossible possible in Typescript? How can that be? Is the whole world wrong, aside from you?

> Look just prove it to me. Define the type signature for concat function that will concat two tuples with variadic parameters in TS.

You mean the one I already posted yesterday? https://www.typescriptlang.org/play?#code/C4TwDgpgBAglC8UDaA...

Or, if you prefer Python, run this:

from typing import Tuple, TypeVar, TypeVarTuple, reveal_type

T = TypeVar("T")
Ts = TypeVarTuple("Ts")

def concat(element: T, tup: Tuple[*Ts]) -> Tuple[T, *Ts]:
return (element, *tup)

element = "foo"
tup = (True, 42)

reveal_type(concat(element, tup))

You said it's impossible for the return type to be dependent on the input type. Why does Python disagree with you?
Can't concur at all

Won't work where I live now in south-centeal Europe (Austria ) where everything is archaic and most services are still done via phone calls like in the past: appointments for plumbers, doctors, recruiter call-backs to job applications, etc.

Almost none of those services here use email or apps as the default, everyone seems to prefer sync communication so they first tries to reach you on phone. If you don't answer or call back they'll assume you're ghosting them and don't need the appointment/service anymore and you'll miss out on important issues. Sometimes they'll leave a voicemail telling you to call them back when you can, so you can never really escape calls here without emigrating.

You can say we both live in completely different bubbles but the existence of one does not invalidate the other.
> A lot of EA is simply prioritizing what saves the most lives, right here, and right now.

Is this altruism, or just utilitarianism by a different name? This is obviously a serious ethics question, and one that likely has no objective answer - but utilitarianism has run contrary to the morals of most societies, generally.
Sinking in Scandal: The Death of Nortel [video]
There are well described links between intelligence and information theory. Intelligence is connected to prediction and compression as measures of understanding.

Intelligence has nothing specific to do with The Universe as we known it. Any universe will do, a simulation, images or a set of possible tokens. The universe is every possible input. The training set is a sampling drawn from the universe. LLMs compress this sampling and learn the processes and patterns behind it so well that they can predict what should come next without any direct experience of our world.

All machine learning models and neural networks are pure functions. Arguing that no function can have intelligence as a property is equivalent to claiming that artificial intelligence is impossible.
I know that, but to me that statement isn't much more helpful than "modern AI is just matrix multiplication" or "human intelligence is just electric current through neurons".

Saying that it's done with a random number generator doesn't really explain the wonder of achieving meaningful creative output, as in being able to generate literature, for example.
Well you can't eliminate the authoritarian element completely but I still prefer "Pretty please, with sugar on top, clean the f**g car".
From the app's point of view both are the same - the app can no longer execute code and upon resume it must restore state.
If the developer is in China, they don’t need to notify GH. The authorities can appear at their home and get their way.

We consume most of our cheap goods from China, so in a way we get some blame for making China the dominant authoritarian power.
Great to see this here, as a contributor to this project. We even went the model checking direction with Bastet: https://github.com/se2p/Bastet
Elinor Otto did not realise what giant strides she was making for women
But can we really use browser window position for fingerprinting? One time I open page in full view mode, another as tile in the left part of window or in right part. How can it be used?
There was a recent court decision in Germany, ruling that websites must respect the Do Not Track header.
> Haskell one of the languages with the most advanced type systems in practical programming. Algebraic data types. You clearly haven't used it so of course you remain unconvinced.

Wrong.

> It seems this way to you because frankly, you're not very knowledgeable of what I'm talking about.

This wouldn't come across quite as bad if I didn't literally post an example long ago. If you're so knowledgeable about all this, why can't you acknowledge the examples I've already given? Why are you ignoring them?
As someone with a lot of interest in but no fluency with chip design, or the dividing and conquering of math within silicon, for that matter, how would you multiply a 1m² matrix?
That doesn't mean 20% is their profit. It means all the rest of their overhead has fit into that 20%, such as hosting infrastructure, office space, labor, marketing, etc.
Are you a spy or something?
If AGI comes true, I'll pack my bags and move to the wilderness to reset where my ancestors started from.
"A Mathematician" (Lenat and co.) did indeed attempt to approach creative theorem development from a radically different approach (syllogistic search-space exploration, not dissimilar to forward-chaining in Prolog), although they ran into problems distinguishing "interesting" results from merely true results:
https://web.archive.org/web/20060528011654/http://www.comp.g...
His name? Albert Einstein.
Not in a town of 200 people it wouldn't.
There's no pricing on the website that I can find.

Are you really saying that you spent years of work and $1m+ of your own money building something that you love but that has no income and no path to income?

A free app?

You're very articulate and the comments have been interesting to read, but it all feels a bit like these: https://en.wikipedia.org/wiki/Folly

You need to go to your existing users and tell them that from next Monday the price is $x.

Unless you're independently wealthy and quite happy to continue building your perfect app and giving it away for free forever. In which case, carry on.
you and your CTO problem is a you problem. From the POV of the CTO, your stubbornness might make him think you are responsible for the lack of results. You either quit or become cooperative if you want improvement.
Large amounts of carbon capture as a solution is an 'illusion'
Ruby is next :)
Looked fancy, but trying to use it caused me to close the window quickly. Any chance there is dumber ui for same database?
Did anyone claim that it would be a predictor of solving math problems at a research level? Inasmuch as we can extrapolate from the few words in the article it seems more likely that the researchers working on this project identified some emergent reasoning abilities exemplified with grade level math. Math literacy/ability that is comparable to the 0.1% of humans is not the end goal of OpenAI, "general intelligence" is. I have plenty of people in my social circle who are most certainly "generally intelligent" yet have no hope of attaining those levels of mathematical understanding.

Also note that we don't know if Q* is just a "current LLM" (with some changes)
Nethack and specially Slashem has lots of focus on objects, environment and monsters and secondary effects between them.

With DCSS, you can't neither butcher mons or eat them in recent releases.
The article tags say it's one, though...
Setting up your own F-Droid repo is quick and easy, I've done it myself. Adding the repo can be done by copying the link or scanning a QR code.

I'm sure companies would prefer a platform where they can pay money to get featured on the front page which comes with their repo preloaded, but if you're a small app business, hosting an F-Droid repo for test releases and perhaps releases for non-Google phones, you can get rid of the auto-updater if you just point people at F-Droid.
Agreed 15ks is a lot. Time to slow down before you kill someone GP.
I think the answer is Money, Money, Money. Sure it is 1000000000x more expensive in compute power, and error prown on top as well, to let a LLM solve an easy Problem. But the Monopolies generate a lot of hype around it to get more money from investors. Same as the self driving car hype was. Or the real time raytracing insanity in computer graphics. If one hype dies they artificially generate a new one. For me, I just watch all the ships sink to the ground. It is gold level comedy. Btw AGI is coming, haha, sure, we developers will be replaced by an script which can not bring B, A, C in a logical sequence. And this already needs massive town size data centers to train.
Just wait a little bit.

You are not better than a huge GPU cluster with Monte Carlo search and computer verification for much longer.

It will be more your job to find the interesting finds than doing the work of finding things in the first olace
Gitlab does that stuff. Almost everytimr I log in, I get an e-mail about someone logging in from a new device. I am not even using a VPN on that machine. Wonder what their problem is. By now their stuff is marked as spam, when it hits my mailbox.
Rust CRUD Rest API with Docker
:) kids are a little bit demanding when it comes to that. and you sometimes need a silent cup of coffee. plus super simple songs sing better songs than me.
The Matrix is great fiction and all, but the idea of an AI legion choosing to use human bodies for electrical generation rather than just build millions of nuclear power plants is a bit quaint.
I would never buy this app for more than $9 - there are free alternatives such as Rectangle. $9 is low enough I'd consider it if it has some extra features or polish, but definitely not $49 or $79.
This sounds dodgy, but not really illegal.

I know there’s a town in Florida, where the cops sit in the median, with a black hair dryer, and pull people over, and another town in Texas, that is infamous for using civil forfeiture on people of color. I think that town was featured in a news show.

These towns don’t have “police.” They have “POE-leece.”
>So, if they're not willing to pay Western developers, they're not exactly going to be looking at the premium end of the Indian talent pool either are they!

I beg to differ.

You're either ignorant or have no idea how many SW and HW you interact with regularly from big name companies, has been through the hands of skilled Indian or other offshore devs which while being cheaper than American devs, are in now way worse programmers, sometimes the opposite.

You seem to equate pay only with talent and skill, but that's rarely the case. Lower paid international devs aren't necessarily worse than their American counterparts and well paid American devs aren't always better than international talent.

Your pay is more a function of opportunities and supply/demand in your area rather then purely on your own skills. Otherwise explain me how the same international devs who struggle to crack 50k in their own developing country can suddenly score 200k+ the moment they're in the American labor market. They don't magically become 4x better coders the moment they cross the border.
Does every little soundbite tweet posted by people who have zero knowledge of the underlying tech ... or any tech at all in this matter ... really need to be treated as some sort of incredibly genius take?

This means nothing, and it's from a guy who has some insane takes in the past... The same guy saying that Date rape is "belated regret", and that blame shouldn't be placed on the guy, same guy that wrote passionate defenses of statutory rapists. Why is this being given any value at all?

Having joined a startup at the right time, and then using your IPO-money to invest in a bunch of companies doesn't turn you into some intellectual. Especially when it's about something you have no idea about.
I've used Fortran for commercial engineering codes. Numerical computing is moving towards layered intermediate representations (IR) in the compiler and runtime to better specialize on the inputs and target hardware. The compiler passes are becoming the focal point and the languages are becoming clients. Fortran's future is probably as a domain-specific language alongside other languages (eg Julia) targeting a common IR (eg MLIR). I don't think we'll see any big changes in the language until it's adapted to fit into the emerging ecosystem.
Thank you, I wish I saw this an year ago when I was learning 2's complement for digital systems subject.

Many articles I read said that 2's complement helps in arithmetic, but I was not able to understand "how".

The naive me was like - why do they complement and set a sign bit? We can just use a sign bit right? So if 0010 means +2, then why not represent -2 as 1010. What's the need for the complement part at all?!

Then only I realized that we are able to retain x + (-x) = 0 using this 2's complement representation. :)
I have zero faith that the average ChatGPT user will make quality edits. If anything, this invites trolling and active dataset poisoning/manipulation the moment people figure out that's what they're doing.
> You can replace bash with JS

Noo-ot really except in a Turing-tarpit sort of way. Like it or not, once learned (!) Bourne shell together with the traditional tools is a well-designed user interface and works even better for that than, say, Tcl[1]. Not an automation or scripting language, a user interface for all daily interaction. I would absolutely hate to manually sort through my files in JS, while in shell I can often do it faster than in a GUI file manager.

And, of course, it’s also a fairly strong contender as a programming language in the paradigm of many pipelined imperative processes—probably because that paradigm remains largely unexplored. I can only maybe name Icon as a viable competitor, and Icon’s also very nice. (Python, no matter how “inspired” it is by Icon, has traded its command of streams for more mainstream ease of use.) By comparison, the old complement of parallellized JS build tools (Gulp? Grunt? I forgot, it’s been a while) always surprised me with how awkwardly it accomplished shell-script-equivalent tasks.

To be clear, it’s not that Bourne shell is good and JS is bad. JS is a passable Fortran[2], while shell is at best a marginally functional one—there’s a reason Awk exists. But shell competes in categories that most other languages don’t even try to qualify for.

[Yes, I know about rc. I happen to think rc’s focus on one-level lists of strings (incidentally shared by Jam, an attempt at a better make) is a mistake, and more consistent arbitrarily-nested quoting, giving a “stringy Lisp” in the vein of Tcl, would be the way to go.]

[1] http://yosefk.com/blog/i-cant-believe-im-praising-tcl.html

[2] http://conal.net/blog/posts/can-functional-programming-be-li...
> It’s bad for the bottom line to be dead.

I have no overall position, but climate change and nuclear weapons seem two quite strong counterexamples to this being a sufficient condition for safety.
I did that for years, moving to a single MBP that can do everything is surprisingly nice
He decides what to spend his energy on. But I would have told them to go pound sand. Nobody should care about burning a bridge to a place like that.
I'm from Poland. It's just over the course of years most of the services became messenger contacts, for various reasons, but most common one was the need to reliably exchange pictures
Typo in the article title

>Pioneer of Google’s Data Centers Dies at 58

He died at 59
If you want to explore this I'd recommend taking the approach I've seen with scripts that's very successful -

The first bash script simply tells a person what to do and hit enter when they've done it.

Then the easiest to automate parts are automated, as and when it's valuable to do so.

Windmill appears to have manual approval steps - so you could try modelling things just with those. Then automate the most annoying/costly/easy to automate steps one by one.

This should be easier to create, and actually solves an initial problem of knowing where everything is up to. If it doesn't help, or the process is too inflexible when reality hits it, you won't have spent too long automating things.