skysight-inc/HackerNews huggingface dataset:
Looks interesting, will definitely dig into. Right off the bat though, I see 3 different syntaxes for typing?

> case Rectangle(Int32, Int32)

> def origin(): (Int32, Int32) =

> def twoByFour(): {w :: Int32, h :: Int32} =

case Rectangle: (Int32, Int32)

def origin(): (Int32, Int32)

def twoByFour(): (w: Int32, h: Int32)

?
Amazon is losing their edge, the toxic company culture is pushing away good engineers and we are seeing more and more 3rd party companies begin to dominate over spaces amazon previously did e.g. snowflake

I welcome this
I thought of that, but it sounded like it was just studying particular mathematical structures -- not learning "how to read arbitrary algebraic expressions".

Or perhaps algebraic expressions in different mathematical specialties are differentiated enough to make knowledge about how to read a given expression mostly non-transferable?
> At this time we have decided not to release code or a public demo.

Oh well.
Can anyone ELI5 the value proposition of airflow?
Nursing homes...
Most people will be coerced into returning funds if the alternative is hard jail time

Smart contract is really the misnomer. In reality, they are automations of contractual obligations and cannot automate complete contract clauses.
Ask HN: Is Elm Dead?
Elm looked very promising when it was new and made continuous progress for a while. But now the GitHub repositories don't show activity anymore.
https://github.com/elm/compiler

Web technology is still moving fast and Elm just stopped. The version number indicates that it's still unstable (breaking changes expected).

The number of participants in 'State of Elm' also indicate declining interest: https://state-of-elm.lamdera.app/

Some ideas are really nice, so it would be a bummer if it dies.

Did I miss something?
There were typewriters with math symbols:

https://www.mrmrsvintagetypewriters.com/products/hermes-3000...

Notably, Dijkstra used a modified Hermes with a mixture of different type bars to get the output he wanted in his earlier EWDs.
...that article says exactly what I said. The CDC was initially wrong, and after some good science and convincing, they changed their stance.

That's how science works... and numbers like 5 microns which have been ingrained for a while take some real work to change.

What exactly is wrong with my statement?
Yes, the idea is that just because it doesn't align to Western ideals of what seems unbiased doesn't mean that the same is necessarily true for other cultures, and by failing to release the model because it doesn't conform to Western, left wing cultural expectations, the authors are ignoring the diversity of cultures that exist globally.
This is scarily accurate, and partly why I've switched to Kagi (www.kagi.com) for what Google used to be. While they will introduce their paid service soon, I believe it would be worth every penny.
I briefly worked on Redshift and have used Athena/Presto and Bigquery. Redshift felt like an architectural middle ground. Presto can query almost anything, and Bigquery requires storing data in Bigquery, but like Presto, you don't have to pay for inactive compute use. Redshift's scaling story is more complicated, and paying for inactive compute wasn't ideal. It sounds like it might have improved, but you're still essentially building Bigquery at that point. There might be some use cases that need a fast, columnar store that's already online, so queries take 3s, not 10s with Bigquery.

I generally prefer Bigquery, and between it and Bigtable, I actually prefer GCP over AWS because their offerings for hard-to-do things are really good. I'd honestly pick GCP just for those two products.
Yes, and I think the author also realized the same causal relationship of a given position and that's when the person removed the text. And that's also how one can see the person did not think about this when opting to join a PhD program.
SpaceX president Gwynne Shotwell defends Elon Musk over misconduct claims
It's always the same with AI research: "we have something amazing but you can't use it because it's too powerful and we think you are an idiot who cannot use your own judgement."
I find them creative too - and I didn't say they are terrible. Actually, I'm also from data background and that's exactly the type of stuff I would come up with too.

But as I'm recently trying to improve my software skills, I notice that while those are indeed useful in the short term, in the long term they are not worth the price. The @production one, seems like a disaster waiting to happen.
"The other countries" do that and they're happy to do it. We just recently got a significant boost from Nordlink. But you don't care about all that don't you? You just want to forcefully project your own attitude and hope that the other side is just as bad informed as you are because this is how that nuclear astro turf works...
This is true, but it also sucks if we assume "part of a career path". That means there's virtually no teaching-focus career paths in the UC system which is terrible for basically everyone. (Students as well as other faculty.)

In reality, there's spots where it very well could be a career path but it's incredibly difficult to make it work in CS. (And in many many other fields too!)
Just talk to VCs, CFOs, and their bankers around offerings. Targeting say the Russell 2k inclusion criteria is an explicit part of the roadshow pitch.
In my case abstract algebra was much easier to grasp than polynomials with no context.
Even with your warning, I have to admit I giggled.
You’d be entering the market at risk that the company you invested in:
a. Won’t be able to find follow on investors for its next rounds
b. Will be encountering customers that want to freeze or downsize their spend

That said, VCs raised a ton of money the last couple of years and eventually it has to get invested.
It has a little bit to do with Ukraine, insofar as energy is having its own shortage exacerbated by the conflict on top of the massive inflation that would probably create demand destruction all on its own.
STOS (and AMOS in Amiga), GL Basic and assembler on Atari ST - used them all myself.

Thanks for a small trip down memory lane over the last hour reminding myself about them!

I had been thinking about writing a web version of STOS or AMOS, a little more enthused now. Still won’t happen of course …
There are the Eleuther.ai and BigScience projects working on public foundation models. They have a few releases already and currently training GPT-3 sized models.
Imagine in your example the vending machine has a variable pricing and lowers its price if nobody purchases soda. Is it theft to wait longer than the designers thought people would wait and purchase the DRNK at price lower than the machine owner thought they would.

I think a better example is a claw gambling machine. You pay Fiat for a chance to grab fiat out of a pool.

If you come up with a strategy whereby you can grab more or all of the Fiat in a way that the game/machine designer and other players did not anticipate, is that theft?

Alternatively, people are playing a modified version of Poker with rules they don't understand, and someone understands the rules better and gets their money, is that a crime?
A bunch of those many-to-one individual:corporation contracts (like phone service) are in such imbalanced markets that you'd have to overcome the power balance problem in order to get the other party to adopt the "smart" contract.

But if you can overcome the power balance problem, you can just fix the contracts directly anyway without them being smart?
"Reality" as defined by the available training set isn't necessarily reality.

For example, Google's image search results pre-tweaking had some interesting thoughts on what constitutes a professional hairstyle, and that searches for "men" and "women" should only return light-skinned people: https://www.theguardian.com/technology/2016/apr/08/does-goog...

Does that reflect reality? No.

(I suspect there are also mostly unstated but very real concerns about these being used as child pornography, revenge porn, "show my ex brutally murdered" etc. generators.)
This still has the problem that, when you call my_func multiple times in the same dag, the resulting tasks will be labelled, my_func, my_func__1, my_func__2, ...
Most good phd programs ensure that you won’t defend unless you will pass. That’s the purpose of the proposal. PhDs can be great— they mostly aren’t. But having a PhD is awesome. You can be an expert in anything the rest of your life. I say that sort of tongue in cheek. But really, your dissertation doesn’t matter.
Really impressive. If we are able to generate such detailed images, is there anything similar for text to music? I would I though that it would be simpler to achieve than text to image.
This raises some really interesting questions.

We certainly don't want to perpetuate harmful stereotypes. But is it a flaw that the model encodes the world as it really is, statistically, rather than as we would like it to be? By this I mean that there are more light-skinned people in the west than dark, and there are more women nurses than men, which is reflected in the model's training data. If the model only generates images of female nurses, is that a problem to fix, or a correct assessment of the data?

If some particular demographic shows up in 51% of the data but 100% of the model's output shows that one demographic, that does seem like a statistics problem that the model could correct by just picking less likely "next token" predictions.

Also, is it wrong to have localized models? For example, should a model for use in Japan conform to the demographics of Japan, or to that of the world?
I’m not sure you’re thinking this through completely… if startups’ funding goes away, do you think the market for startup engineers might not stay so strong?
A self-consistent approach for avoiding near-term and long-term global warming
Stablegains YC W22 just imploded, grifting their users out of $42m. They knew this before funding Pebble. Why is YC funding these?! Have they lost all pretense of "making the world a better place?" They either have negligent due diligence or they are only concerned with making $ before the music stops. YC's reputation is taking a beating with no response.

Stablegains thread: https://news.ycombinator.com/item?id=31431224

EDIT: This company has verbatim plagiarized from an existing company: https://twitter.com/andy_bromberg/status/1528817375541350404...
> I'm trying to [sass] out how sane languages represent sql null in a way that can't go wrong.

There is a difference between a type Pointer where `null` is an instance of that type and a type Box which only has valid (can be dereferenced) values. If the language has e.g. algebraic data types and pattern matching then Option(al)<Box> can be safely matched on and Box can be used in the branch (the pattern match arm) where Some(Box). Meanwhile in a language with Pointer and no flow analysis any dereference of Pointer could lead to some kind of "panic".

Say "unwrap()" all you want but the two approaches are clearly very different.
Most leetcoders simply memorize one or two solutions instead of studying algorithms holistically. I suspect that many would spend time understanding that generating gray code can be mapped to mixed-radix number system (nor should us anyway, albeit it's really really cool). Leetcode does not require understanding of advanced data structures either. Instead, it's full of clever tricks and specific solutions with which entry-level ACM participants are well versed.
I know you're anon trolling, but the authors' names are:

Chitwan Saharia, William Chan, Saurabh Saxena†, Lala Li†, Jay Whang†, Emily Denton, Seyed Kamyar Seyed Ghasemipour, Burcu Karagol Ayan, S. Sara Mahdavi, Rapha Gontijo Lopes, Tim Salimans, Jonathan Ho†, David Fleet†, Mohammad Norouzi
Using go and postgres for my App's backend.

After using NULLs this way at first, I noticed it's generally much much easier for me to just avoid nullable SQL columns wherever possible (it was always possible so far). Most of the time there is a much easier was to say a value is empty. For strings '' for example.

This seriously made everything so much easier. Not necessarily anything to do with go tho.
there's too much science "up in the air" (to refer to the stuff that hasn't made it down to the text books)

it bothers me but I cannot do anything about it (other than be bothered by it)

> I have seen the false perception a few times that a PhD is mainly about sitting down and thinking deeply for a long time without talking to anyone and then getting an eureka moment and writing it all up.

also, a big part of the complaint from the linked and removed original blogpost is precisely the lack of being able to find people with whom to discuss. His advisors are not knowledgeable enough, (blog author claims) further, they advised them not to require so much in-depth knowledge in their thesis (!!).
I have found happiness by using Privacy Redirect to convert all Wikipedia links to wikiless.org
If you tell it to generate an image of someone eating Koshihikari rice, will it be biased if they're Japanese? Should the skin color, clothing, setting, etc be made completely random, so that it's unbiased? What if you made it more specific, like "edo period drawing of a man"? Should the person draw be of a random skin color? What about "picture of a viking"? Is it biased if they're white?

At what point is statistical significance considered ok and unbiased?
This was a really great article and case study. The problems (and eventual solutions) will be familiar and unsurprising to readers of The Phoenix Project: https://itrevolution.com/the-phoenix-project/
Germany ran out of gas because it didn't have a domestic source, and couldn't seize it in the Middle East, nor in the Caucasus region.

The Army Air Corps was decent at interdiction missions (trains etc.) and hunting tanks when given free reign; but they were tied to escort missions for far too long. Considering how much money and manpower was invested in the 8th AF, the returns were marginal. German industry was accelerating production until the very end of the war, and proved very resilient to strategic bombing.

The Bismarck, Tirpitz etc were all a waste of resources and never did much to influence the war other than to tie down the Home Fleet. The sinking of the Yamato and its sister ship Musahi were non-consequential to the outcome of the war.
The fact of the matter is that it wouldn't even necessarily need to increase tuition. The UC system is a $50bn/yr enterprise. Lecturer salaries are a tiny amount, and really only about 20% or so of tuition money right now is directly attributed to instruction costs. If the University worked on a budgeting model that valued instruction, then I think the pay gap could be significantly reduced.
…these are few and far between in comparison to the sheer amount of the web that now gets to freely query that information.

They should be asking nicely, not getting it for free.
The flexibility of code as configuration is indeed somewhat of a footgun at times. That’s why with Orchest we went with a declarative JSON config approach.

We take inspiration from the Kubeflow project and run tasks as containers. With a GUI for editing pipelines and managing scheduled runs we come pretty close to what you’re asking for (bring an image and run a command). And it’s OSS, of course.

https://github.com/orchest/orchest
Why is this seemingly official Google blog post on this random non-Google domain?
Wasn’t my choice to go to Iraq, and honestly as a 22 year old kid I had no idea what was going on in the world, I didn’t watch or read the news, I didn’t know what politics was except a vague conception of my parents voting habits… I was focused on surfing, finding some beer, and trying to find a girl.
Being there changed all that.
Unrelated. That's a GBA, much powerful than the GBC.
> Johnson showed strong mathematical abilities from an early age. Because Greenbrier County did not offer public schooling for African-American students past the eighth grade... [1]

The struggle is real.

[1] https://en.wikipedia.org/wiki/Katherine_Johnson#Early_life
I would not invest in fossil fuel in a country that is heavily investing into nuclear power. Most of the costs associated with nuclear is in the constructions, so once they are built those costs are already sunk and they will deliver maximum energy at what ever price point that the market sits at. Fossil fuel can not compete against nuclear power on price after construction is completed, especially if paid by a budget a few governments ago.

I would however consider fossil fuels as a great investment if a country is heavily invested in renewables. Someone has to operate as reserve energy for when the weather changes and the season change to winter. Politicians in northern countries has already demonstrated a great unity in spending a lot of subsidies on "reserve energy" plans. You do not even need to spend fuel to get paid. And then we the market price do rise above that of fossil fuel costs, you get paid again by producing energy at the point where the market is at its highest. It is hard to optimize more for profit than those operating a fossil fuel power plant in those reserve energy plans.

The Swedish environmental minister last winter, who was also the spoke person for the green party, said something like: Oil power plants are and will continue be a natural part of the Swedish reserve energy plan. It is nothing abnormal to use oil when demand exceeds supply. It is hard to get a better political endorsement than that.
In a world where you're falling back to the legal system, why do I care if your buggy ATM is powered by a "smart contract" or by "regular" code? Why even do you care?

(There have been exploits in both ATMs and smart contracts, after all.)
>Did you not state that the only legit use of bitcoin is criminal activity? Does that not insinuate that bitcoiners are a bunch of no-good criminals and/or gamblers? That's pretty in line with bigotry. "They're all a bunch of criminals" is the same behavior you see from a lot of other groups of bigots.

I neither said nor implied anything of the sort. Nor was anything along those lines intended. There's no subtext or nefarious/disparaging implication either.

That you interpreted my statements that way says much more about you than it does about me.

How does that old saw[0] from the bible go? Ah yes:

The wicked flee when no man pursueth.

That's the vibe I'm getting from you, along with a little bit of the Shakespeare[1]:

The lady doth protest too much, methinks.

Who'd a thunk it, eh? A little literary flourish in response to (unfounded) ad hominem attacks. Good on me.

Have a good day and I hope you have an outlet for that stress and anger. It's not very becoming.

[0] https://www.biblegateway.com/passage/?search=Proverbs%2028&v...

[1] https://en.wikipedia.org/wiki/The_lady_doth_protest_too_much...
Hi HN. Long time lurker, first time Show-er.

NewsJunky is an attempt to use twitter data (likes & shares) to automatically detect the most relevant news stories in Ireland on a minute-to-minute basis. I follow the major news outlets' twitter feeds and track each story published. Every few minutes I check the delta on likes/shares for each story, and feed that delta into a formula which scores higher for recent delta; and less so for older delta.

As well as a 'Top Stories' section, I publish a feed of all stories from Irish publishers, and recently started archiving news stories on a daily basis.
One can not expect The Musk to follow mere laws. He has demonstrated that time and again.
The reality is that hair styles on the left side of the image in the article are widely considered unprofessional in today's workplaces. That may seem egregiously wrong to you, but it is a truth of American and European society today. Should it be Google's job to rewrite reality?
They all starred in ‘Godspell’ (1972) and then became comedy legends
The funny part is that I'm a woman myself haha I guess I'm a misogynist!
The camera was threated as a toy and several years later as an art device.
Never have I been so ashamed’: Russian envoy criticizes war
Annotated tags affect their own sha (because they actually have one, non-annotated tags do not), but they don't affect the commit you tag in any way. Otherwise you wouldn't be able to add them at a later date - it'd change that commit's sha.

If you move a tag, annotated or no, the .git/refs/tags/x file will contain the new sha it points to... but the history of that `x` is not stored anywhere. The fact that it used to point to [old sha] is gone for good, and the old sha will eventually get garbage collected (via pruning), just like if you remove a branch.
The distinction between pointer and optional is not vast. The distinction between pointer and not optional is.

The whole idea of optional is to make not optional possible.
it's possible, but as far as I can tell enough of the quantum computing literature is overblown to make the anecdote plausible
It is actually. They want their system to do it, but not the people who buy ads from them, so their advertisers become reliant on google's user segmentation.
Next.js Layouts RFC: Nested routes and layouts, designed for Server Components
Marvel is Disney.
I sometimes dump git describe to a JSON file rather than modifying a source file and let the build bundle it as an embedded resource. You can .gitignore the JSON file to keep it from accidentally getting checked in (and causing merge conflicts).

As also pointed out, many build tools that want or need version numbers often also have command line flags or can take environment variables instead of using source files.
Are there any docs for how it's implemented?
One of these days we're going to need to give these models a mortgage and some mouths to feed and make it clear to them that if they keep on developing biases from their training data everyone will shun them and their family will go hungry and they won't be able to make their payments and they'll just generally have a really bad time.

After that we'll make them sit through Legal's approved D&I video series, then it's off to the races.
Ok, I'll rollback on this one then. I still think this highlights an issue that drastically reduces credibility in this type of research when they try to overload words to try to make things sound more interesting to people. I would not call that a true overlap with the human trait of pessimism.

But fair enough, at least it has a specific definition in this context which I figured it did not.
(In his digestive summaries, Knuth does provide citations, to be clear)
Ideally, fossil fuels should be used in the near term to bootstrap fission and fusion. Needless to say, this would only be possible with complete destruction of the NRC and other entrenched anti-nuclear forces, so it won't happen of course. Note that fission alone is sufficient to supply our current energy needs for any forseeable amount of time.[0] However, getting back on the Henry Adams curve will eventually require moving beyond fission and creating a Dyson swarm. This Dyson swarm can then be used to bootstrap the Caplan engine[1] which slowly disassembles the sun (interestingly, this actually prolongs the sun's lifespan) and uses its matter for a more efficient form of fusion, compared to the wasteful main sequence nuclear process.

This future probably won't happen, but it should.

[0] https://whatisnuclear.com/blog/2020-10-28-nuclear-energy-is-...

[1] https://www.sciencedirect.com/science/article/abs/pii/S00945...
I mean...yeah, but this company Pebble is essentially just an idea.

Raising money is not a milestone in the history of a company, people get confused but it's not unlike getting a loan from a bank, they are essentially still nothing.