skysight-inc/HackerNews huggingface dataset:
It looks like the basic meta-algorithm is:

1) Notice a pattern in the mathematics

2) Device a neural network that leverages structural properties of the space you wish to investigate

3) Encode relationship in a manner allowing use of supervised learning and see if the net can learn a pattern.

4) If it failed, rethink pattern and go back to step 2 or give up; else use attribution and explainability tools to try and extract human understandable concepts. Go back to step 2 until human converges

5) Use the extracted concepts to generate a conjecture or aid a proof.

6) Profit

In a way it's like AlphaZero in that a nnet is helping the searcher prune a highly branching decision space.

Deepmind recently published another paper [for chess](https://arxiv.org/abs/2111.09259) which again was about extracting hidden knowledge from a neural network. Authors hope this can be an avenue through which machine learning can be useful to mathematics research. But even in the cases where their meta-algorithm works, I think they underestimate the difficulty of having expert neural network practitioners on hand, without which I expect step 3 failures will be massively inflated.

----------

Choice extracts:

> In each of these cases, the necessary models can be trained within several hours on a machine with a single graphics processing unit

> Further, in some domains the functions of interest may be difficult to learn in this paradigm. However, we believe there are many areas that could benefit from our methodology.

> The Bruhat interval of a pair of permutations is a partially ordered set of the elements of the group, and it can be represented as a directed acyclic graph. For modelling the Bruhat intervals, we use a message-passing neural network. We add two features at each node representing the in-degree and out-degree of that node.

> First, to gain confidence that the conjecture is correct, we trained a model to predict coefficients of the KL polynomial from the unlabelled Bruhat interval. We were able to do so across the different coefficients with reasonable accuracy giving some evidence that a general function may exist, as a four-step MPNN is a relatively simple function class. We trained a GraphNet model on the basis of a newly hypothesized representation and could achieve significantly better performance, lending evidence that it is a sufficient and helpful representation to understand the KL polynomial. To understand how the predictions were being made by the learned function f^, we used gradient-based attribution to define a salient subgraph SG for each example interval G
Is RISC V the Future?
Use openresty local resolver
with

set $proxy_url xxx;
proxy_pass $proxy_url;
the complexity of the search algorithm has also increased substantially since 2005 And, in 2005, a billion page index was pretty big. Now it's closer to 100 billion.
what i do for work is very close to what you want and its pretty easy to achieve with using lightdm and the dm-tool with the add-nested-seat command. It will start a new Xephyr X server local to your current user and attach the session manager to it. from there you just login and have the second user session in a window just like you wanted... however, i did not get clipboard sharing to work but i actually like this extra bit of isolation.... its not even hackish and performance is exactly as native because it is... its a bit harder to get sound working concurrently, but not impossible, although i never really tried. However, i use pipewires pulseaudio interface to stream audio to a remote AV receiver in the room and this should work fine in the second user session too, although as said i never bothered to try...
I'm not even the smartest person in my family and I figured out where Apple was going before they even announced the M1, like a year or more before... I am sure that many here on HN were well ahead of me.
See full history on Wednesday, December 1, 2021
new line
new line
new line
new line
new line
new line
new line
Because if you're the expert on X, you can either stand up and agree with everyone that building X is not the right decision, or you can smile and nod and say yea, we should totally build our own X, it's a great idea. If you say no, it won't happen.
Hmm, I wouldn’t say WinForms is in a similar limbo right now. It's maintained by the .NET team and it gets more attention than WPF. Work is happening to make WinForms compatible with NativeAOT and trimming, I think it will land in .NET 7 or 8.

(but yes, true, WPF still works and it gets enough support to keep it limping along)
Tone policing someone protesting a call for millions of deaths is really something.
I wonder if there will be a martyr in Youtube who will smuggle out all the dislike count data to benefit humanity.
So what exactly is this institute going to do? I couldn't tell from reading the press release.
When I was a kid I absolutely thought the military was cool. My kids books had fighter jets, aircraft carriers, tanks, and soldiers. And that was all awesome and badass.

Now I have a toddler, and I think it's appalling that kids books include this machinery amongst the same pages as firetrucks, ambulances, passenger jets, and cruise ships.

It's completely fucked up how we normalize weapons of war and indoctrinate our children into thinking they're cool.

Look, I'm not naïve. There are parts of the world in active military conflict. If you are in Ukraine or South Korea, you have a very legitimate reason to be preparing to take up arms in a military conflict. But just because it might be "necessary", doesn't mean it's "cool".

War means death. Unnecessary human death. Military technology are tools for maximizing unnecessary human death. As a secular humanist who believes we all have only one finite life to live, every unnecessary death is an unforgivable tragedy.
You should still use passwords with SSH keys to ensure that they're encrypted on disk. An SSH agent makes the user experience not annoying, so there's no point in opting out of the extra security.
FWIW, because On2 aka Duck TrueMotion —> VP3-VP7
I hear you. My uncle is disabled in the legs and I’ve admittedly had a hard time finding a recumbent arm bike that he felt comfortable enough to actually do his commuting on.
US creditors can now DM debtors on social media
What if you're using neovim with all its possible plugins and moving like a god. It's given neovim is the best editor. What then?
China app giant Didi plans US stock market exit in move to Hong Kong
Thank you, father. The stars are right. Let us proceed to the reef tonight.
Search Left
new line
new line
new line
new line
new line
new line
new line
David Attenborough’s Unending Mission to Save Our Planet
I'd take european democracy over US democracy any time
> Unfortunately, the current Matrix website implementation relies on an internally deprecated web platform slated for retirement.

GWT, as you suggest, is definitely a dinosaur.

> rewrite Matrix using newer web technologies like Angular,

How long until Angular goes the way of GWT, though? It's not exactly a beloved technology. Not quite the same level of pain as GWT, but Angular codebases aren't something I'd like to maintain either.
Plenty of pandemics have come and gone, this one will pass too, and global technology sharing or not will probably have a negligible impact on that timeline. How many times have we seen a region or country held up as a model for success for whatever reason (lockdowns, vaccines, etc.) only to be a hotspot months later?

Just get vaccinated, avoid crowded poorly ventilated places, stop trying to herd 7 billion cats, and move on with your life.
One thing I've been thinking about lately is that human behavior is inherently complicated and because legal systems need to account for human behavior there's no getting around the introduction of complexity into the system. There's just a question of where that complexity lives.

Here in the US, we have three branches of government: legislative, executive, and judicial. One way we could deal with complexity is at the legislative level by writing extremely specific laws. So in your example the legal code expressly spells out in detail what constitutes breaking and entering, exceptions, etc.

Another way to deal with that complexity would be for the legislative branch to write a fairly broad set of laws and grant the executive branch power to write detailed regulations. So from that you end up with administrative agencies that write very detailed regulations, which, while not quite "laws" (since they weren't written by the legislature), nevertheless function in a similar way.

A third way would be at the judicial level. If the laws are fairly broad and there is no specific regulations, then edge cases end up in court and judges make the decision. So over time there ends up being a large body of case law that handles all the edge cases (or at least, all the edge cases that have been explored so far).

So there's really no way around it. You can put your complexity in the legal code itself, in administrative rule making, or case law, or some combination of all three. There are probably advantages and disadvantages to the different choices, but I don't think simplicity is an option.
Which is an understatement haha. Apple’s Rosetta 2 runs intel applications faster than it used to run natively on intel chips.
Inside AI you have all these standard data sets (ImageNet, MNIST etc.) that act as a benchmark for how well an algorithm performs within a given area (character recognintion, image recognintion etc.).

Perhaps something similar is needed within ISAs / CPUs ? Say an OS kernel, a ZIP-algorithm, Mandelbrot, Fizz-buzz ... could measure code compactness but also performance and energy usage.
Something I never understood about Google's 20% time concept...do people at Google not have deadlnes?

Like it's just assumed that every project estimate will be added 20% to account for 20% time?

Like it's great when you're a market gorilla dominating the competition in search, but how does it work when you're #3 in the cloud and trying desperately to compete with Azure and AWS from behind. Do those people get 20% time too? Seems like a recipe for always staying #3...
Ask HN: No diversity at university: how to make life more interesting?
I write my concerns on HN because I cannot find anybody other than my parents who can help me to resolve this general disillusion with university. I am in my first year of STEM studies at an average state school in the USA, feeling extremely bored while still achieving top grades in the classroom and carrying seemingly important extracurriculars outside of it. I did the first year of CS curriculum while in high school, so I am scheduled to graduate in three years.

University is not shaping up to be what I expected. I expected to have the conversations that would shape my life here, but instead I have found empty people with little ambition and little interest in the world outside of a regional microcosm. Where is the inspirational exchange, the creation of friendships for life? (for reference, I felt like I had all of this in high school)

For high school I went to an international boarding school, and one week of conversations there was more interesting than anything of this semester. I am interested in almost every subject at school... I really love learning new things. With the expectation of university as more than just a technical education, I question why I am here. All I have learned this semester is equations from the math book, which I could realistically learn anywhere.

My current ideas are: (1) transfer to a liberal arts college to receive an education in a wide range of more interesting topics (philosophy, history, economics, other things I studied in HS) alongside more interesting and more passionate people, or (2) take a gap semester in Mexico City or Dar es Salaam to make life more interesting while self teaching myself everything that I can learn by being here already. That way, I might get more of the cultural education I had in high school which I now feel is lacking.

I am asking for general life advice. Life went from extremely interesting (surrounded by a global community of people from over 50 countries) to extremely boring and generally meh due to a lack of diversity in thoughts, ambitions, ways of life, etc. Does anybody relate?
i see. some people get really severe reactions though, like the people here talking about a week long; does that explain those cases? is there no relation b/w vaccine reaction and reaction to the actual virus?
I live in Tokyo, Japan. Nearly Everybody wears masks here (correctly). Several people even wear 2.
Don't listen to him, he claimed there were spikes in Japan this winter when somebody pointed out the mask wearing ... Fundamental anti-masker :)
https://news.ycombinator.com/item?id=29294849
That's a great example - because they specifically built an Intel-compatible TSO memory model into the M1 CPUs that can be toggled at runtime to avoid a ton of fencing (and at about 70% the performance of ARM64 natively). This let Apple's Intel emulation on ARM run way faster than Microsoft's. They also added hardware support for ObjC/Swift reference counting. These are things no other vendor on earth would do.
I built an awesome WPF note-taking/ idea aggregation app. Any idea how I can get it some exposure?
>>>Just consulted on a project that was able to raise $20m on their own through a yield farm

Jeez. Over how long of a timeframe, and how much did they start farming with?
I think this was meant as "Omicron can infect 3 to 6 times as many people as Delta [considering that a lot of people already have immunity to Delta]", this chart was enlightening for me:

>Under a scenario of 90% population immunity against previous variants, we get the following picture where Omicron could lie anywhere along the dashed line ranging from an intrinsic R0 of 3 and 83% immune escape to an intrinsic R0 of 9 and 20% immune escape.

https://twitter.com/trvrb/status/1466076797670363140
Somewhat related. If I use DNS-over-HTTPS with a nextdns edge server the response time is of the order of 10ms. With google 8.8.8.8 or nextdns 45.90.* it's about 130-140ms. Ever since I set up a local pihole with nextdns DoH as the upstream server, things have been very spiffy. The pihole cache also helps with sub-ms response times, especially if you set a minimum ttl of 40 mins or so.
This is of course related to the fact that ARM was initially a joint venture between Acorn, Apple, and VLSI Tech way back in 1990. Apple was a major early investor and has been using ARM ISA chips in products since the 1990s.

If anyone is curious, third parties can license specific designs and drop them in their chips, or architecture licensees can design their own chips, like the M1, based on the instruction set architecture. There are around a dozen or so companies with an architecture license.
>Is it though? The current system is the equivalent of some old unmaintainable shit written in COBOL by a guy who quit after 30 years while making the codebase as terrible as possible to maintain job security.

Almost always. Re-implementing all the existing functionality from scratch will take much longer than you think or estimate. And attempting to remove/defer implementation of any will cause friction with business that rely on it.

There is a reason why we haven't replaced Excel/Word with google sheets/docs. It's true that most people only use about 60% of any software but everyone relies on a different set of 60%.
googol = 10^100

// did that get auto-corrected? if so, ironic, as it’s said "Google" was an accidental misspelling of "googol" by Sean Anderson back in ‘97…

http://graphics.stanford.edu/~dk/google_name_origin.html
"What if you simply arrive at the perfect time to every flight, neither too early nor too late?"

Nobody can ever do that, so it's pointless to ask.

(I suppose that if you built your own editor this might be true, but if you have your own plane then you're never early or late to your flight either.)
I usually leave either because (a) company, team or manager culture is bad, (b) unexpected opportunity or (c) bored/restless. This sounds like c.

I recently moved because I was bored and there were no internal options. I had been content for a while because I had young kids that took up a lot of my mental capacity but I reached a point where I needed more from work. I guess for me it was weighing up the risk v reward and I took the chance.

It was worth moving, but it has been a lot of work and challenging myself.
NVIDIA's chips count as part of that ARM marketshare, and in fact ARM itself does not manufacture chips at all, nor does NVIDIA design CPU ISAs.
A zero COVID policy is impossible. While the vaccines a pretty good at preventing deaths they don't reliably prevent infection or transmission. The virus is also spread by animals.
Yeah. I don't have a dog in this fight... I don't have strong opinions either way, and this is one of those arguments that will be settled by reality after some time goes by.

But the author making an argument like that...

> I believe that an average computer science student could come up with a better instruction set that Risc V in a single term project.

Pretty much blew their credibility. It's obviously wrong, and a sensible, fair person wouldn't write it.
> This seems to constitute ill or malign intent. Why would you go and bother the property of another person? What is the intent behind this move?

The people who make these decisions don't view these sorts of things from the same perspective as you do but from a geopolitical lense of military might. In the simplest case it could be information gathering or even just a distraction.
One can say this is an immoral self-perpetuating cycle, but that is how it is today.

This article, Space Command Hints at New Capabilities to Counter China, Russia, from Aug 21, 2020 may help shed light on that. [1] This article is from the same month but an Indian perspective [2]

[1] https://www.nationaldefensemagazine.org/articles/2020/8/21/u...

[2] https://economictimes.indiatimes.com/news/defence/china-atte...

Edit: I have looked at your comment history, and you appear to be very defensive of CCP in every comment you make. I'm not sure your question here was asked in good faith.
Reddit, Show HN, Producthunt, alternativeto.net
Power efficiency and performance depends very much on process node.

If Apple bought all future 3nm capacity from TSMC, good luck trying to compete.
> Can't vendor's making desktop/mobile class CPUs detect the equivalent pattern and optimize it in microcode or silicon?

The riscv stans keep saying that, but nobody has given a demo or shown benchmarks afaik, even under simulation. So it's just handwaving.

It's not only javascript, of course. int overflow in C is an error condition (undefined behaviour) that compilers usually don't try to trap (the -trapv option in gcc and clang enables trapping at some performance cost, so it's rarely used and we get continuing bugs and vulnerabilities as a result. Ada mandates trapping unless you enable an unsafe optimization which is, um, enabled by default in GNAT). Riscv increases that performance cost considerably from what I can tell. That's the opposite of what we needed.

I'm no CPU architect but I know they are able to signal overflow in floating point arithmetic, since IEEE 754 requires that. So I don't understand why they can't do it for integers.
How does it compare with Unreal Engine or Unity?
Relevant blog post by Ed Snowden. https://edwardsnowden.substack.com/p/ns-oh-god-how-is-this-l...
If we take down every site that offends someone's sensibilities, we will have no sites to visit.
Yeah, this is what I'm not understanding as well. Like the reason I'm happy with people trying out all sorts of weird DeFi experiments now is because we've tried different regulations for literally hundreds of years now and it hasn't led to anything better. Why not try to fundamentally reinvent stuff? It might be a train wreck, but we already have that right now. And what if it's not?
Raspberry Pi is $50.
since you bring up big macs it is perhaps notable that mcdonalds was actually priced out of aspen.
What are some properties of this that differentiate it from other open source 3D engines (or closed ones)? Platform and language support support also seems absent from web site or GitHub readme.
Google bought ITA Software: https://en.wikipedia.org/wiki/ITA_Software
Maybe they are assuming that their engineers can output 25% more than Azure's and AWS'? :)
Not saying that I advocate for the following, but from reasoning logically, I've arrived at the following based on simplified assumptions. I would love to hear any possible counter-arguments against this hypothetical outcome:

Assuming that unvaccinated people are more likely to die from covid (and hence reproduce), then over time, they would naturally be written out of the gene pool. Or at least drastically dwindle in numbers compared to those vaccinated.
Yeah my mouth isn't 15cm/6in wide, definitely around half that
How to Revitalize the Internet (Thread)
No idea how this article pleases my soul. I'm surrounded.

"Bullshitology" ... "disconnected from normal standards of truth such as logic, clarity and evidence".

Words to my soul.

I even have a bullshitometer, and I know how much they're in trouble or have no idea what they're doing, based on a simple k/vv ratio ;) (keywords per verbal vomit). Late or overdue projects tend to have meetings with k/vv blowing off the roof. For this I introduced the k^2/vv ratio. Hey if you're still reading, first, I feel your pain, second, might as well have fun.
We are your learning platform for such innovative technologies
Some seem by height and some by width, and some make no sense at all.
Yes, about 300,000 americans (taking us over 1 million deaths) will probably die in the next four-five months given the current numbers.

Definitely not a few.

We were on the downslide of the third big bump of COVID deaths per worldometers, but let's face it, there's going to be a big fourth even without Omicron from the infections from far less restrained Xmas/Thanksgiving get togethers.

I hope I'm wrong...
Why? That just means you need ~20% more people - a bit more because people don't scale like that, but Google has to scale regardless so it's not much difference. And this is an org that allegedly creates projects that will never go anywhere just to keep talent in house and busy, so I'd say they certainly can afford 20% overhead.
>> especially if it's doing so for irrational reasons or out of spite

> I think assuming that it's out of "spite" is an example of not realizing how "your side" might be causing the division.

With "out of spite," I was specifically referring to things like "owning the libs."

> There are a lot of people who have already had covid and now have antibodies, who were also never in, and continue not to be in, a risky demographic. The risk for these people is very, very low already.

So? Getting a vaccine isn't only about managing personal risk. Also, from what I understand natural immunity is often weaker than vaccine-induced immunity, and "hybrid immunity" (natural + vaccine) is superior to either alone.

> On top of that, the vaccine is not entirely without risk. There have been many reports of side effects, specifically heart issues in young males. There have been some deaths.

Is that risk higher than that from COVID infection? No: https://www.newscientist.com/article/mg25133462-800-myocardi....

This is a good example of an irrational reason: I'm scared of a choice that has a very small chance of producing myocarditis, so instead I'll make a choice that has a greater chance of producing myocarditis.
>I've told some stories about what happens when you end up at a company that builds nothing and instead rents everything from some vendor.

This sounded interesting but I searched for her blog and I couldn't find it. Does anyone know which post this refers to?
Is your mouth height 15cm/6in?