skysight-inc/HackerNews huggingface dataset:
Show HN: We are building GitHub for Education
Dear HN,

Today we're launching a massive update(0.3.0) to our AI facilitated inquiry based learning app, SocratiQ. Our first users are learning everything from Electrodynamics to Single-cell evolution to World History. We are now making it easier for them to understand where they stand and share their learning with others.

1. Insights: SocratiQ now shows your learning insights with a learning map (Like GitHub's Contribution Chart) and Topic Mastery across your explorations.

2. Teach the World Project: You can now publish your workspace for others to "fork" and continue their exploration.

We believe that LLMs have opened the door for super-important ideas in EdTech. For example, inquiry based learning was always prohibitively expensive because you need highly skilled humans providing feedback at critical junctures. We are using this opportunity to democratize access to inquiry based learning for everyone.

SocratiQ offers rich text/media notes for teachers to create / curate reference material. The learners can then study on their own or with their peers, getting personalized feedback / lessons / guides. Teachers can add notes to the student responses or AI questions / feedback to offer further clarification or guidance. Students can take rich notes, collect reference material in the app. We are also building more course creation and study tools into the platform.

Teachers / Students can publish their exploration for the world to view, learn from or continue their exploration. In short GitHub for education. We firmly believe this is a very plausible future of textbooks, homework and assignments if not classrooms.

What do you think?
Neither Microsoft nor Apple has any problem with your or my problem with Google.
‘Where Is Britney Spears?’
USD isn't usable as a last-mile format, so many game engines still use internal formats that facilitate fast edit-time to last-mile format conversion and compression, mainly as a point of pragmatism. There is some slow adoption of USD, but given that the main drivers of the format are from VFX, it's understandable that it will take some time for game devs to embrace USD fully.
yeah, this… the only reason my company can get me to come in at all is that they put me and another quiet guy in a somewhat isolated room with a door. it’s not perfect, especially when the office is relatively full, but it’s better than an open floor plan.
I mean, meanwhile the standard of living keeps declining. Health, food, transportation...
CF wasn't something that was possible under our understanding of physics at the time. Room temp ambient pressure superconductors are perfectly possible under our understanding of physics.

Comparing the two is silly.
Flux Pinning is separate from the Meissner effect. Flux pinning only happens in Type II superconductors, where the Meissner effect of expelling external magnetic fields happens with both Type I and Type II superconductors.

https://en.wikipedia.org/wiki/Flux_pinning

https://en.wikipedia.org/wiki/Meissner_effect
> Just dropping in to second VSCode remote (assuming you meant code-server).

Yes and no. It is the native VSCode remote server (a closed source Microsoft version using SSH: https://code.visualstudio.com/docs/remote/ssh), but it is also called code-server, which is often confused with coder's code-server (https://github.com/coder/code-server)
Could be worse!

Seattle.gov started serving with HSTS `includeSubDomains; preload` over a month ago, broke all sorts of subdomains, and are still picking up the pieces.

City council ordinances and resolutions are hosted at http://clerk.seattle.gov/, not that it matters, since you can't view the site.
Location: Singapore (US citizen, Singapore PR)
Remote: Yes
Willing to relocate: No
Technologies: Windows, Linux, .NET (Framework and Core), C#, C++, C. Specialties include point of sale and self-service kiosk.
Résumé/CV: https://parkscomputing.com/page/resume-of-paul-m-parks
Email: paul@parkscomputing.com

I've been a professional software developer since 1989, and was self-taught from age 14 (1984). Most of my experience is in desktop and server development on Windows platforms in C++ and C#, but I've done Linux and web development when both were still new.
That article was a great story! Thanks for sharing.
https://archive.is/YA6CW
USC Cyberinfrastructure Lab Organized Workshops
The timing of this post appropriately coincides with the opening of World Youth Day in Portugal. One of their patrons is Blessed Carlo Acutis, an English-Italian youth who enjoyed working on computers and was utterly devoted to the Holy Eucharist.

http://www.miracolieucaristici.org/en/Liste/list.html

Blessed Carlo created an astonishing exhibit of Eucharistic miracles. I've seen it in person. Perhaps I only saw a part of it, because there are dozens and dozens. Many are well-documented, and many are obscure. Blessed Carlo put them all together on his computer. He passed away from leukemia in 2006. Thanks to the author of this article; Carlo's life and legacy endures through the Holy Spirit, and our own devotion.
Fair, though the author of the article seems to hedge in both directions: "Or it could have been the product of the opposite: absolutely no self-awareness about how current events can be sneakily channeled or commented on through seemingly brainless media."
The rain in Beijing is too heavy, and there are floods everywhere.
Possibly. Do you have a link to the PR handy?
https://archive.is/0Izo6
Linux From Scratch gets even more into the weeds.

My arc was gentoo -> lfs -> arch Linux when I realized I didn’t want to fiddle as much.
Ask HN: Major FOMO of not being in SF in early 20s
I've been following ycombinator's YouTube channel for a while now and today, Michael Siebel and Dalton Cadwell talked about how being in SF is instrumental to be a successful founder as a result of the network effect. I can't move to SF because of TN visa restrictions (don't have a CS degree therefore can't work as an swe) but am I really missing out on a lot? I live in Toronto and I know the startup game in Canada is not comparable, but I just feel like I'm missing out on a lot right now. The grass will always look greener on the other side and Toronto is a great city with a few startups. However I want to meet really cool people that are building great things. Seems like silicon valley is the place to be
Experienced Rails & JS full stack dev looking for freelance/contract/consulting opportunities.

Location: French Alps
Remote: Only - can travel anywhere in Europe for quarterly team meetups
Willing to relocate: no
Technologies: Ruby / Rails / JS / Node / Typescript / Vue / Git / AWS / Cloudflare
Résumé/CV: https://davekinkead.com/
Email: hn@davekinkead.com

Once upon a time I was a military officer. Then I became an academic philosopher. Now I'm a full stack dev living in the French Alps.

I specialise in turning vague ideas into robust software. I’m really good at asking questions to get to the heart of a problem, translating these into actionable requirements, and implementing them in well tested and documented code.

Happy to work solo, lead, or as part of a team on any stack in the Ruby or JS ecosystems.
> tech bro speculation on physics should be considered harmful

why?
https://archive.is/0WZd5
Did any of the samples had enough material to make a DNA analysis?
Location: Hong Kong and Sydney, Brizzy or Melbourne Australia (PR)
Remote: Yes
Willing to relocate: Yes
Technologies: I'm a Product Management leader (VP, Director, CPO) who has worked on Mobile since way before it was cool to do so. 15+ years experience with Google, Booking Group (Agoda), Trip.com (skyscanner), SEA (Garena) and more in California and across Asia. Stanford and Berkeley educated. Specialising on User Experience and B2C products.

Also open to talk about board and advisory positions.

Résumé/CV: http://www.ulfw.com/docs/CVulfw.pdf
LinkedIn Contact: https://www.linkedin.com/in/waschbusch/
24 years is nothing in the scale of the universe

If it increases entropy as much as many suspect and it only took 1/3 of a couple humans' lives to open that phase space, the Universe has done what it wanted - to hasten heat-death.
Regarding #1, it pains me to see so much hype about this feat.

To restate it. We were able to simulate the implosion of the secondary stage of a thermonuclear device in a lab by the means of lasers, to the point that this simulation has ~ 0.001% the efficiency of a real device.

We also probably learned a lot about the amplification of x-rays by the casing material that would have been useful during the SDI days of the early 80s.

tldr; It was a weapons test, by a weapons lab.
The means justify the end. For all we know Lee and Kim would have sat on this for another year or more. I think that’s very understandable and I can’t fault them for wanting to be certain, given all the nasty things people have been saying about them, but the leak has clearly served humanity better than keeping it under wraps.
Isn't GPT 4 very costly? Plus you're running a scraper. How do you plan to keep this free, or is this just a teaser?

This may be useful but would love some clarity on how long you're gonna keep it like this.
Umatrix has not been maintained since 2021.
ProtoGalaxy: Efficient ProtoStar-style folding of multiple instances
In case there are people following zero-knowledge proof advances, this is the last breakthrough, which allows to compress long-running computations into a single proof.
The key thing to notice in this video is that the spec is levitating above a single monolithic magnet.

The levitation with ordinary diamagnets such as pyrolytic carbon requires an array of magnets to create a concave pocket in the field, otherwise the floating sample will "slide off" and fall. Monolithic magnets produce convex fields.

Some people elsewhere also commented that this could be a video of an ordinary high-temperature superconductor, but I doubt it. Such a tiny spec would warm up to room temperature very quickly. I've experimented with broken and shattered fragments of YBCO and it wasn't possible to make small pieces hover like this, they'd warm up too quickly. Also, they were always frosty looking. To make them look black you'd have to do it in a perfectly dry atmosphere, which is a non-trivial setup.
The problem is that hard opiates aren’t a drug in the sense that alcohol or mdma are drugs. It’s straight up poison. It should definitely be controlled and possession should be prosecuted.
I was one of today's lucky ten thousand[0] because you cited Kill Sticky. I have just enabled it on my browsers and look forward to a much improved web experience.

Thank you.

[0] https://xkcd.com/1053/
At least I got a free t-shirt with all the Amazon bucks. ;)
Please don't do this.

If you want an Airflow-ish approach without punishing your future self, pick Prefect. Otherwise go with Temporal. Above all do not adopt Airflow for the use cases you describe in 2023
soap is a good one for sure; the others might turn out to be less important than the transistor

time will tell
Picking up the CRT and throwing it out the window?
If it's real and can be produced at scale, this might tilt the balance of power in the Western Pacific theatre against the US (or further against the US, depending on your opinion) within the next 10-15 years.

The reason is because while yes, the PRC produces and uses a lot of hydrophones, their range is a function of how noisy what they're detecting is, and US subs are very, very quiet. Networking and advanced signal processing can help, but only so far (and generally more with accuracy than sensitivity). SQUIDS are different, and exactly how far away they can detect a large metal body underwater is classified, but RTAPS would undeniably significantly improve their sensitivity and thus their range, meaning that whichever side can deploy and maintain a network of them (signal processing works for these guys, too) should have very, very good visibility on where any large bodies of metal are near their network, underwater or not. Both the US and the PRC would be able to capitalise on RTAPS for building SQUIDS, and both could base them in westpac (off the coasts of Japan, PH, Taiwan, ROK for US, eastern seaboard and their actually controlled islands for the PRC). So they both benefit from this technology and it's a wash, right? Wrong, both sides having this technology dramatically harms the usability of submarines in general, and the US is significantly ahead in submarine technology and submarines play a pivotal role in US naval doctrine, so this technology would significantly reduce the relative advantage of the US military compared to the PLA, which does not have submarines that are as militarily effective and whose offensive force structure is based around massing fires largely from the mainland, rather than using submarines to screen carriers which provide fires through sorties.

Basically, RTAPS improves everyones ASW suite, which sucks for the US because they're the kings of submarine warfare and submarine warfare is a large part of how they protect their assets near the PRC and how they project force into the PRC's expanding sphere of influence.
This article was valuable to me.

My fiancee's close family, and myself, have been trying to convince her to go to therapy for anger issues. She's always refused and stated that therapy is just for weaklings / white people. If her mom could survive near-death experiences during the Khmer Rouge and not need therapy, then she didn't need it either... So the opening example of Khmer Rouge survivors receiving CBT was a perfect introduction to this article. I really hope she connects with the topic and considers giving therapy a chance.

Also, about this example further in:

>One study (an unpublished doctoral thesis) mentioned in the review found that cultural adaptation – in terms of the languages used and the ethnicity of people involved – led to worse therapeutic outcomes. Hispanic college students who had phobias around giving speeches went through a video-feedback-based treatment in either English, or English and Spanish, and they practised giving speeches either in front of a white or a Hispanic audience. The participants who gave speeches in English to white audiences showed greater reductions in anxiety than the other groups.

One possible explanation is that the Hispanic speakers felt a greater amount of anxiety from a Spanish-speaking audience due to greater cultural expectations. So rather than English being some kind of special anxiety-lessening language, it's more likely (IMHO) that any language other than their first one (e.g., Spanish) would have resulted in an audience with lower speaking standards expectations for the speaker to worry about.

Tangentially, Slavoj Zizek often tells an anecdote of how while in India, some less-affluent people told him that they preferred English because their native Hindi dialects are just embedded with hierarchy and class stratification. I don't know if this is really the case, but if it is, then Zizek's assertion that revolutionary thought can require new language is an interesting one.

Even more tangentally, I am reminded of how I can type better in Dvorak, not just because it is more efficient than QWERTY, but because learning it forced me to drop the bad habits I had carried with me over the years from when I first began using a keyboard to play simple computer games in the late 90s.

Overall the theme is apparently a clean slate / new environment / blank canvas / fresh perspective can be instrumental for transformation.
The Great Resignation is 'over'. What does that mean?
I've screamed at my kids when not looking both ways crossing the street. If not, there is a decent chance they could get run over by an Amazon truck. I don't sugar coat it for them - they know they could die if it happens. After once or twice they stopped doing it, but if it ever happens again Captain Insano will make yet another appearance, whether people are watching or not. But do not fret, as they get 1000x more love.

I never had nightmares at all until I had kids. Now nightmares consist of cars, Amazon trucks, parking lots and the occasional lake or pool drowning.

Anyway, without full context of what was going on in that family's life you saw, I'm not sure if anyone is able to make a fair judgement on what was more considerate, even handed, or whatever. Five minutes before you saw them they could have almost been hit by a car or something.

IMO situations that require yelling should be extremely rare, but anything involving death or getting maimed is a definite candidate.
It is interesting to contrast this with the original declaration of cyberspace[0]. At the time the thinking was that the threat to the web would come from Government.

[0]
https://www.eff.org/cyberspace-independence
I did something like this with a 486 box recently. It only had DOS, ISA only, and no network card. By the end of the night I had Win 95 running, copying files over FTP, and SSH'd into my router from it. It was fun.
You’re right about the distribution of the velocities of galaxies. The problem would be the distribution of the density of galaxies. Even in an instantaneous snapshot of the state of the universe now, there would be more galaxies in the direction of the epicentre from us, say assuming we had average velocity. To see an even distribution of actual galaxies (not their velocities) in the sky we’d need to have zero initial velocity.

But also light would still take time to travel. Our view of galaxies 13bn light years away would still be of them as they were 13bn years ago in the very early universe. Again unless we happened to have zero initial velocity, we’d see all the distant galaxies clustered together in one spot in the sky.
A diamagnetic material.

"In simple terms, diamagnetic materials are substances that are usually repelled by a magnetic field. Electrons in an atom revolve around the nucleus, and thus possess orbital angular momentum. The resultant magnetic momentum in an atom of the diamagnetic material is zero."
The mace looks more like an imperial era legionary standard (Aquila) than a fasces to me.

Also it doesn’t really look like a mace used by British authorities, which is presumably where the name comes from.
The fleet of U.S. flag tugboats as it exists today is running at reduced utilization because there are fewer licensed captains than necessary to operate them. How does increasing pay alone fix that?
Alcohol is physically addictive - ever heard of DTs? Decriminalization enables the black market. Legalization would lower prices, too. The black market should be enemy number one.
I've been soldering for over a decade now, and the thing that I think matters more than anything is the solder itself.

You can do perfectly decent work with a shitty 40w pencil iron, the tip included in the pack and sone Jaycar home brand wick.

But if you cheap out on the solder, or opt for lead-free when you don't know what you're doing, you're going to have an awful time. Would strongly recommend Multicore leaded, or at the very least something a bit thicker (~1mm) with rosin core. The thin stuff that requires external flux just isn't good for beginners. It's hard to work with and your repairs will degrade over a 1-2 year period.

(That said, I don't regret dropping $x00 on my FX-888 and FR-301 which have resurrected thousands of things between them; just don't think they're strictly necessary for someone just looking to fix some random item for the first time.)
a real estate space to share potential deals
it's not such a politically popular activity as to attract subsidies; it is tolerated and pitied rather than lauded and promoted
Thanks for your thoughts!
My father was a huge stalwart of manual window cranks and door locks. We had autos from 1978, 1980, 1986, and 1988. Parents paid cash and never took out auto loans. Anyway, Dad would never ever touch a vehicle with power windows or locks. He was OK with power steering. Once, my 1980 Corolla went in for major engine repairs, and our loaner was a Stanza sedan with "power everything". Dad was nonplussed. In fact, he didn't allow me to drive it.

Dad finally had to give in, of course. I believe it was around 2004, when they needed a new station wagon, and there was just nothing viable on the market that didn't have power windows and power locks. But you can bet your bottom dollar that Dad knows where all the manual releases are, and he probably practices on them on a regular basis.

Dad has also kept a fuel log in the car since at least 1978. Every time you fill the tank, you need to log the date, mileage, gallons pumped, etc. and then you push the odometer reset button. Every time.

Dad ran an auto repair shop with his father, way back in the day. The latter was a test pilot and elevator designer. I come from more than one long, long line of slide-rule-carrying male engineer geeks.
I have the same thought: "25 years? Why the fuck. Buy a new salt and publish a fucking paper."

I suppose they saw something favorable in that 99 sample and nobody else knew. The vagaries of chemical synthesis helped.

But it doesn't seem like they could have had a worse sample than what they fucking have now, while getting data that made them waste a quarter-century.

As much as people hype and have 'reproduced' it, I...dunno. If it's real, the autobiography will be worth an expensive translation.
Your compile should take a minute or so, though. And that's arguably slow.

40 min is order of magnitude slower, but the goal is not to be as slow as possible.

If you have e.g. a hot reload (instant recompile), that's fantastic, but you probably don't actually want to constantly re-configure the code, rather check on various state etc.

You also want to eventually start over as the size of the state changes outside the normal running parameters increases, and that's when you may want a slower recompile.

If it takes only a second, you probably didn't have enough code to work on, and it provides incentive to avoid frequent recompiles and stay in hot-reload. Even in languages without hot reload, this generally holds true.

You want a bit of time to consider which issues to fix, and you want some reason to try to get it right...the tradeoff is generally better code. The alternative is expensive (memory/disk/time) activities such as excessive and incorrect (re)-testing.

Put another way, fast cycle times are only better than slow ones if the quality and feature richness of your codebase is better than slow cycle times.

I would prefer to take 40 minutes and have a compiler spit out a guarantee of correctness than spend two weeks hot reloading junk.
It’s happening
If thanks to those technologies new hyper-efficient compute and network hardware becomes the norm, and there is no meaningful difference between decentralized hosting and centralized hosting of services/apps/games, crypto will likely see renewed interest.

People are still unhappy with the decisions of single IP owners controlling the platforms and games they use on a daily basis. Decentralized ledger technology, whether blockchain or not, offers an alternative.
> mostly safe failure modes

I believe they call this thing “harnessing the power of the sun”. I’m mildly sceptical about the safety of it’s failure modes.

Not to say I don’t still want it, but…
Look up Dr Shanna Swan work
I also recommend Don Delillo's Mao II, which covers the Moon cult and the deprogramming of one of the ex-followers.

And Ted Patrick! https://www.youtube.com/watch?v=xzlNrWlakmA

Cults are fascinating- some appear to be by opportunists, and others true believers, but all are dangerous. I feel that the word cult is sometimes given a bad name, and it is overlooked in the word culture, yet I think it is a great way to examine modern-day dictatorships and nuclear powers, which still use some some of that power (maybe not so much in the west) to broadcast a cult of personality.