skysight-inc/HackerNews huggingface dataset:
Ask HN: Math and Theoretical CS Journals/Periodicals for High School Students?
Are there any journals/periodicals in math and theoretical computer science where high school students can publish their work?

My son who has entered grade-11, has gotten deeply fascinated and involved in math and theoretical computer science, spanning areas like number theory, math of cryptography, galois field theory, and category theory after attending some well recognized math camps over the last 2 years.

He thinks there are some alternative interesting proofs for some of the theorems he's worked on. They're not new things that can be published in regular math journals, but just other ways of proving known stuff. Is there a math/cs focused publication that might encourage such articles?

Thank you!
Ah yes, the old Apple fan trick of comparing feature B to feature A, when the real comparison is feature B to (feature A + feature B).

Apple is not taking us from a physical SIM to an eSIM world.

Apple is taking us from a physical SIM + eSIM to an only eSIM world.

All the arguments in this thread so far in favor of Apple’s decision fail when considering this reality.
I got this warning on a seemingly dry Pixel 5. It went away in a few minutes.
What's the difference between this and deplatforming? I'm not necessarily against either. How's a media company like Facebook or Twitter different from a library? Both disseminate information. The latter is owned by the public. I'm honestly just asking.

If you think about it, it's not really against free speech, because you can still obtain a book through other means. A lot of people on this website think that social media companies should prevent the spread of disinformation on their platforms, and defend this view against allegations of censorship by saying that since it's a private company censoring someone's speech on their own platform, it's not a violation of free speech.

Also, I'm trying to see where the line should be drawn: Pornography shouldn't be allowed in public libraries, no?
> The point of libraries is to give access to children who don't necessarily come from privileged family to a diversity of opinions. Removing books from libraries shape what information those children can access.

Big deal. We already shape opinions by having a vocal minority successfully shout down dissenting opinions.

From the article it's hard to tell whether this is from a vocal minority of the libraries target audience, or a majority opinion.
The United States does not depend on OPEC any longer and in fact the US is a net energy exporter. If needed the US could be entirely self sufficient in terms of energy.

Europe chose a different path and now they’re beholden not only to OPEC but also to Russia.

However, energy is an international market and being “independent” is more of a political idea than something that could ever exist in reality.
> Have we reached that level of the civilisation that goes extinct, for forgetting how its own inner machines work?

This thought was expressed in Isaac Asimov's short story "The Last Question" [PDF]: https://physics.princeton.edu/ph115/LQ.pdf

> Alexander Adell and Bertram Lupov were two of the faithful attendants of Multivac. As
well as any human beings could, they knew what lay behind the cold, clicking, flashing
face -- miles and miles of face -- of that giant computer. They had at least a vague notion
of the general plan of relays and circuits that had long since grown past the point where
any single human could possibly have a firm grasp of the whole.
Multivac was self-adjusting and self-correcting. It had to be, for nothing human could
adjust and correct it quickly enough or even adequately enough. So Adell and Lupov
attended the monstrous giant only lightly and superficially, yet as well as any men could.
They fed it data, adjusted questions to its needs and translated the answers that were
issued. Certainly they, and all others like them, were fully entitled to share in the glory
that was Multivac's

I wonder whether they'll have to deal with CrashLoopBackoff errors in 2061.
I miss the old El Reg! I sincerely hope you find a balance.

Yelling! Yahoo! Headlines! were always easy to parse and will be missed.
That was then, this is now. Gives a good idea of what the post-military yet pre-commercial net was like. Now, they’d just memory hole the guy buy removing him from search results.
Surely school libraries should also encourage kids to read, by having books they actually want to read?

Not everything needs to be maths and science!
In public libraries?
Of topic but having a lathe in my shed is a definite life goal.
On a technical level I'm unaware of the details on how Safari blocking works, but anecdotally uBlock Origin is way more capable.
OPEC is basically toothless. When the price of oil is above around $50-70/barrel there are too many different sourced that can produce it profitably.[1]

1973 was a surprise (no one thought the countries involved could stick together).

The major countries in OPEC (in particular Saudi Arabia, which can produce oil at around $10/barrel) still have power, but since the development of shale oil in mid 2000's even that power is diminished.

[1] https://www.statista.com/statistics/597669/cost-breakdown-of... (Note that this doesn't include distribution costs which are significant)
> report it and return a relevant code.

This would be more convincing if the signature of func main in go even permitted an exit code. Instead one must use os.Exit which does not run defers, or have main consist primarily of a call to os.Exit(realMain()).
Few things missing:

1. Compression time

2. De-compression time

3. Memory allocation during compression

4. Memory allocation during de-compression
>And what if the other taxpayers want those books? Because that's what TFA is about.

Then they should try convincing more fellow taxpayers, aka voters, to get the things they want passed.

In a democracy, majority consensus rules. If you're in a minority and failed to be accomodated by the majority consensus, sucks to be you.

>but please, do we agree this is still banning books.

Nope, because the books are freely available using your own money.

Refusing to have books procured and presented using public funds is not book banning.
> Why should we treat religious ones differently than secular ones?

We shouldn’t, that’s my point. I’m not sure what you’re referring to, but if there were secular groups trying to ban books I’d feel the same way.
The main missing component is security updates. Usually in this model there is no guarantee that the open-source "tip" is actually supported. Even if it wasn't supported releasing security patches under an open-source license would allow community back porting.

Of course security patches are a big driver for businesses so this makes sense from the profit sense. However as an open source project I would be very hesitant to add this as a dependency because now I am forcing my user to enter a contract if they want security.

I think this is the problem with non-free licenses in general. It makes it a much harder decision for other projects to build upon. Because now any user is required to become a customer of another business with pricing and licenses that I have no control over and can change at any time.
I think an effective to-do list management implementation is tightly coupled with calendars...

That is a fascinating take, because I am of the opposite opinion. I don’t think a todo system that involves scheduling tasks can work well, because it is impossible to figure out ahead of time whether too many or too few tasks are scheduled on a day, and because it is hard to reprioritize scheduled tasks. Instead, imho, the only role dates play in an effective todo system is to label tasks with their due date, but never to schedule a task on its due date (as that is too late) but only to inform the setting of priorities. Instead in my view the critical aspect of an effective todo system is a clear priority of tasks, easily reprioritized, so that working time involves only tackling the flat list of tasks in order of priority until the completion of the working day.

For me integration with email instead of calendar is super convenient though, because that is where tasks often stream into my todo list. But I never use unread or flagged status to mark mails as a todo, because email does not afford reprioritizing. I see email as a way station between other people and my todo list.
Some people have been able to run on recent AMD cards with rocm: https://github.com/CompVis/stable-diffusion/issues/48
Here are the books roughly translated in English

- https://ko-fi.com/post/Childrens-picture-book-1--Sheep-Villa...

- https://ko-fi.com/post/Childrens-book-2--Guardians-of-the-Sh...

- https://ko-fi.com/post/Childrens-book-3--The-Twelve-Warriors...

I haven't found the original version in Chinese.
It's worth noting that that's a point-contact transistor, not a bipolar junction transistor. A rather different sort of cat (whisker)!
there was a ton of stories a few years ago about Google Drive deleting sex workers' documents.

HN thread on it: https://news.ycombinator.com/item?id=16668267
It would be cool to be an expert at algorithms, apply them to hard problems, and build cool things. I feel like, for me, there's no point in learning them since the work I get is always "put a button here, update the DB" type stuff.
> ... while most trees grows with some kind of symmetry between upper limbs and the root system, fig trees don't follow that.

Just curious, how then do fig trees differ from this symmetry of growth roughly?
Think of a plot outline from the perspective of various characters' locations in a diagram like this https://www.reddit.com/r/interestingasfuck/comments/9p9xoi/t...

Or one can have character analysis "files" on each character: where do they come from, what are their abilities, what are they trying to do. And what are the relations between characters - and how they change during the story.

A bad movie doesn't have any of that continuity or relatability of course. But the AI would need to generate such and multiple other higher level structures and then match the visual imagery with it - maybe the pixel level visuals are actually the easy part.

Google translate from say Mongolian to Finnish doesn't work by applying pairs learned from reading Mongolian-Finnish translations. It also doesn't work by translating first to English and then to Finnish. It translates all languages first to an internal representation, and then to the target language.

This kind of structured internal representation of the world and human life is what's still missing from an AI, and it can't be learned just from watching movies.
The High‐Speed Rail Money Sink (2021)
I got zeroes from both network and education. Either of them was boring. But my counter-strike and virus-writing skills bloomed!
I was looking for a cheap good mouse, so this was good to read (I have just ordered a handfull of 'your' TUF mice, so they better be good ;-)

I hope the scroll wheel fells like my Razer DeathAdder Elite, which have 24 "rough" steps per 360 degrees, other mice (like my Logitech M318e) have what feels like an 'infinite' number of fine steps (maybe there are 100 - it's difficult to count!)

It just feels so much better - also there's a lot more friction, making it easier to control (like stop at the right place)…

Thanks for the good input.
> And what if the other taxpayers want those books? Because that's what TFA is about.

They're free to form their own groups that push for keeping the books. TFA doesn't say whether there's actually a group though[1].

[1] The article writing style is deliberately short on facts and long on emotion. I see this often in New York Times posts, and it's infuriating to read, because to glean two or three facts you have to read all this irrelevant stuff like how the person grew up, what they did as a kid, etc.
You had wires? Spoiled brats, the lot of you!

We had to use Avian IP and tons of breadcrumbs...

https://www.rfc-editor.org/rfc/rfc2549
Show HN: Generate Protobuf definitions conforming to popular design guides
Since it seems there are multiple Jason Lyons out there, thought it might be good to link directly to their portfolio: https://www.jason-lyon.com/
With Apache httpd inside? They don’t have devops at all?
Yep, it must be all of quantum physicists collectively misusing a word, and not you misunderstanding something. The hubris is unreal.
Not many do, however. A reasonable approach would be to disentangle the import name from the download location.
I still have it, but I lost two CDs and the serial number to install it. It worked on Windows XP.
Very similar to "we don't need to make quality of life higher, just take your depression pills and everything will be fine".
K-219
> In a democracy, majority consensus rules.

I am a fan of democracy but when it comes to a local issue like this, the reality is “consensus of the people who have the most free time rules”. It’s not like there was a vote on whether to ban these books, and my hunch is such a vote would not have passed.

> Refusing to have books procured and presented using public funds is not book banning.

They literally removed books from shelves and locked them in cabinets, this isn’t just about procurement.
They were using that as an example of somewhere where there has been a positive public reaction to breaking the law.
>At the end of the day, any sort of tax is going to generate a dead weight loss

The entire point of a pigovian tax is to create a deadweight loss proportional to the harm an externality causes.

>The amount of money that gets distributed to you with a carbon dividend inevitably is going to be less than your additional tax burden or the consumer surplus from the goods and services you otherwise would have bought without the tax

As I already said, the difference between what you pay in and get out is an incentive to make you cease the activity that produces the harmful externality.

>Of course, you make very good arguments about why the dead weight loss is absolutely dwarfed by the negative externalities of fossil fuel emissions.

That is how a pigovian tax is supposed to work.

>Even if you don't consider climate change, air pollution is a contributor of over 100,000 deaths in America alone. However, this point is moot if people aren't willing to act on those externalities.

This is irrelevant, lots of countries have adopted carbon taxes. The benefits are obvious, less bureaucracy for businesses, more money to poor people, less shaming for a lack of personal action, mitigating climate change, less corruption and wasteful spending.

The alternative to carbon taxes isn't no carbon taxes, the alternative is more micromanagement by the government which is more likely to result in even bigger deadweight losses which are unlikely to be proportional to the amount of negative externalities that are being avoided.
True, the dials are nice. And I just noticed that the Fuji camera has a LCD on top, which is a big plus for me. I used to have a Pentax K20D and found that to be very useful.

Although I tend to just shoot on auto-exposure and bracket 3 shots, 0EV, -2EV, +2EV. One of those will usually give me what I want, without any messing around with dials.
What would be in the bylaws about cofounders?
It is about the "liberty" for parents to instill their values in their children, on their terms. This is a perfectly reasonable desire from parents, but removing books from libraries is certainly too heavy-handed.

Responsible parents monitor and control the information their kids can access--websites, movies, music, etc. I think a more reasonable approach here would be to advocate for a mechanism in libraries to allow parents to review and control what information their own children have access to, but not others'. (If that doesn't already exist?)
Win-win: No need to invest into changing life-threatening tech and make money selling the protection. Profits can only rise!
Higher Roots and R-Means
Yes, to beat China we have to become China /s
The democratic process, when used for political decision making, creates the appearance of legitimacy, and invokes the natural human herd mentality to stifle dissent. The main difference between regular democratic decisions, and political ones; is that the former are voluntary, and applicable to all participants; whereas the latter are unilaterally applied to all, regardless of real consent. Try applying this to regular situations, such as shopping, or love making, to see why this is bad.
Ya, cool metaphor. Boids meets reactive programming.

In a book stuffed with ideas, Lingua ex Machina: Reconciling Darwin and Chomsky [2001] had two metaphors that have stuck with me.

There are Darwinian processes within the brain. Like your ear hears some noise, could be interpreted as either "cap" or "cat", those two possibilities fight it out until one wins.

There's a song, some kind of pattern sequence, weaving back and forth, which might be how parts of the brain intracommunicate, which might be how memories are encoded and retrieved (and may also explains why memories are changed by being recalled).

https://www.amazon.com/Lingua-Machina-Reconciling-Darwin-Cho...

I also remain enthralled by the notion that our brains are prediction engines. https://en.wikipedia.org/wiki/On_Intelligence https://www.amazon.com/Thousand-Brains-New-Theory-Intelligen...

I want some kind of synthesis of your spreadsheet and Hawkins' prediction engine metaphors to be true. That'd be cool.
Children have rights.
> I'm also curios to know if it depends on the career, maybe a ML Engineer need more note taking than an electrician who wire cables

I started keeping a “log” back in 1999 just for work (I too am a software engineer). I note what I worked on and/or what problems I was trying to solve and/or what solutions I found. And some personal stuff too.

My inspiration is the idea of the scientist’s lab book where “if you didn’t write it down it didn’t happen.”

Countless times — even this past week - it has proven invaluable when I wanted to look up how I solved something before (“how do we generate those CSP headers on the fly?” “How did I mount that Docker container?”) or when no one knows why something was built a certain way (and I noted the date and time a manager made that decision).

After a few years I wind up with a few novels worth of entries (by volume) so it’s amazing how writing a little each day adds up.

As to format, it started as a .txt file in Emacs but has evolved into a moderately simple org-mode file.
> How's a media company like Facebook or Twitter different from a library? Both disseminate information. The latter is owned by the public. I'm honestly just asking.

What are you asking? You answered it.

> The latter is owned by the public.
John C. Mather: “There is no first moment of time” (2017)
Rich people easily produce 100 tons of CO2 emissions or more per person. If they eat the cost of a carbon tax with a carbon dividend that is effectively a donation to less wealthy people.

Wealthy people own businesses and those businesses have a strong incentive to reduce emissions, when they do, they end up reducing the tax burden on their consumers.
Majority is not consensus. Consensus is not a magical garnish word, it has its own meaning. What you are describing is populism.
Yes, and that's always been the case.
> POSIX provides abstractions for writing applications in a portable manner across Unix-like operating system variants and machine architectures. However, contemporary applications rarely run on a single machine. They increasingly use remote procedure calls (RPC), HTTP and REST APIs, distributed key-value stores, and databases, all implemented with a high-level language such as JavaScript or Python, running on managed runtimes. These managed runtimes and frameworks expose interfaces that hide the details of their underlying POSIX abstractions and interfaces. Furthermore, they also allow applications to be written in a programming language other than C, the language of Unix and POSIX. Consequently, for many developers of contemporary systems and services, POSIX is largely obsolete because its abstractions are low-level and tied to a single machine.

> Nevertheless, the cloud and serverless platforms are now facing a problem that operating systems had before POSIX: their APIs are fragmented and platform-specific, making it hard to write portable applications. Furthermore, these APIs are still largely CPU-centric, which makes it hard to efficiently utilize special-purpose accelerators and disaggregated hardware without resorting to custom solutions. For example, JavaScript is arguably in a similar position today as POSIX was in the past: it decouples the application logic from the underlying operating system and machine architecture. However, the JavaScript runtime is still CPU-centric, which makes it hard to offload parts of a JavaScript application to run on accelerators on the NIC or storage devices. Specifically, we need a language to express application logic that enables compilers and language run times to efficiently exploit the capabilities of the plethora of hardware resources emerging across different parts of the hardware stack. At the same time, it would be an an interesting thought experiment to ponder how different would the hardware design of these devices be without the CPU-centrism in POSIX.

It sounds like the author discovered the motivation behind the last time the POSIX standard was obsoleted, and some of the reasons why Plan9 was developed.
I've had a lot of fun (and frustration) playing this over the past week.

I've learned that British entries use a slightly different set of words that just don't click with my American vocabulary... such as https://en.wikipedia.org/wiki/Construction_engineering

I eventually had to give up and use google to find the answer...arrrrrhhhhhh
Yes.

This was anticipated and salivated over by the likes of Zbigniew K. Brzezinski.

https://www.amazon.com/Between-Two-Ages-Americas-Technetroni...

https://archive.org/details/B-001-003-798 (for the pdf)
Other commenter has it spot on. TAoE is a good reference so carry on reading :)
John C. Mather is the senior project scientist for the James Webb Space Telescope (JWST): https://en.wikipedia.org/wiki/John_C._Mather
Personally, I'm moving more and more away from anything AWS. Too many foot guns and its just not worth it.
I don't think anyone's disputing that.
$1024 is half my daily rate. I doubt someone find "a great find" in 4 hours. And not even time that is guaranteed to be paid.
There's some counterarguments in the references. A quick Google search for the opposite side does little help. This is the "best" I could find https://www.greenbiz.com/article/why-us-needs-get-track-high...
The Repair Shop 2049: Mending Things and Mobilising the Solarpunk Aesthetic
The issue is very much about supply, and supply that sags when the ambient temperature is high and water supplies are low.
It's not very long. Why not just read it and work through it? It isn't written like a recipe book, but even if it was, you should sit down and read your recipe books
Infinite Scrolling: When to Use It, When to Avoid It
Your comment about "having a vocal minority successfuly shout down dissenting opinions" reminds me of this article I just read by Nassim Taleb (Skin in The Game) which covers "how once an intransigent minority reaches a tiny percentage of the total population, the majority of the population will naturally succumb to their preferences:"

https://nassimtaleb.org/2016/08/intolerant-wins-dictatorship...
This is a really good description without delving into the mathematics.
Games released as bootable floppies for instance.
If you believe it's reasonable for "parents to instill their values in their children, on their terms" then you are disputing that.
So you think it's guaranteed constant within our lifetime?