MurphyA/hacker-news huggingface dataset:
Show HN: Data Modeling Ancient Chinese Logic (Bazi/Ziwei Doushu) with AI
by Ethancurly5246 | 2025-11-11 03:00:41+00:00
Hi HN! This is my second submission today about *FateGuide*. My project, *suanmingzhun.com*, is an attempt to use *TypeScript* and *AI* not just to calculate, but to model the interpretation logic of complex Chinese Metaphysics systems.

The core engineering challenge here is converting *qualitative wisdom into quantitative data*—a problem I think many engineers dealing with unstructured data can relate to.

1. *Modeling Interpretation Logic:* How do we turn the qualitative rules of *Bazi* (Five Elements interaction) and *Ziwei Doushu* (star combinations across 12 Palaces) into clean, deterministic TSX code? We built a modular system where each traditional rule is represented as a data object, allowing the *AI algorithm* to traverse complex logic trees consistently.

2. *Consistency vs. Nuance:* The system ensures that if one user and another user input the exact same birth data, the "interpretation" logic generated for *Career, Wealth, or Marriage* is identical. This removes human bias while still preserving the multi-dimensional analysis required by these systems.

3. *Why TSX?* TypeScript’s strict typing was crucial for managing the hundreds of interconnected rules (stars, palaces, flying stars, etc.) in *Ziwei Doushu* without runtime errors.

We are actively working on open-sourcing the non-proprietary parts of our Bazi/Ziwei data structure for the community.

(Find the technical deep-dive on our GitHub project here: [suanmingzhun.com].
by skydhash | 2025-11-11 03:01:38+00:00
I can use the CLI, but magit is mostly CLI on steroids. All the information you could have accessed through the cli is quickly available, and they are active objects, meaning subsequent commands will take that into account. Any mutation is also available through quick keybindings as well.

The one thing that I truly like about Magit, and the builtin vc-mode, is that I can focus for a couple of hours on coding, then quickly create a serie of commits to capture that work. Like doing line art after sketching. I like when administrative work (filing patches under commits) is isolated from creative work (solving problems and designing practical solutions).
by anxoo | 2025-11-11 03:03:21+00:00
yeah, i type on a corne everyday: https://mark.stosberg.com/markstos-corne-3x5-1-keyboard-layo...

having gotten over the learning curve, i definitely prefer it over conventional keyboards, but would i recommend it to 99.9% of people? no. people who use these kinds of keyboards have either 1. extremely niche problems, or 2. find intrinsic value in novelty, aesthetics, or diy/experimentation
by padolsey | 2025-11-11 03:03:43+00:00
To this day I hate captchas. Back when it was genuinely helping to improve OCR for old books, I loved that in the same way I loved folding@home, but now I just see these widgets as a fundamentally exclusionary and ableist blocker. People with cognitive, sight, motor, (and many other) impairments are at a severe disadvantage (and no, audio isn't a remedy, it is just shifting to other ableisms). You can add as many aria labels as you like but if you're relying on captchas, you are not accessible. It really upsets me that these are now increasing in popularity. They are not the solution. I don't know what is, but this aint it.
by pillars | 2025-11-11 03:04:13+00:00
Cylo's garage Precision Spindle Metrology part series:

1. PRECISION SPINDLE METROLOGY Pt. 1: Fundamental Concepts

https://www.youtube.com/watch?v=gt2gK-oxy5s

2. PRECISION SPINDLE METROLOGY Pt. 2: Sensitive Direction

https://www.youtube.com/watch?v=ZR-OUdCzEb0

3. PRECISION SPINDLE METROLOGY Pt. 3: Measuring Error Motion

https://www.youtube.com/watch?v=JvFIJDv9GsQ

4. PRECISION SPINDLE METROLOGY Pt. 4: Error Separation and Measurement Demo

https://www.youtube.com/watch?v=_3BzMOeJX14
by quotemstr | 2025-11-11 03:04:47+00:00
> That is the reason why mature error handling libraries hide the error behind a thin pointer, approached pioneered in Rust by failure and deployed across the ecosystem in anyhow. But this requires global allocator, which is also not entirely zero cost.

No, it doesn't require a global allocator. You make the thinly-pointed-to error object have a vtable and, in this vtable, you provide a "deallocate" or "drop" function. No need for a single global allocator.

> (this requires the errors to be register-sized).

Uh, what? No, you can make it a pointer, and honestly, in every real-world ABI, there are tons of callee-clobbered registers we COULD use for errors or other side information and just... don't.
by fuoqi | 2025-11-11 03:04:54+00:00
>THAT's the competition for an FPV drone.

Russia uses plenty of artillery shells daily even today. Its own production easily outpaces NATO countries and they buy a lot from NK in addition to that.

Though they try to increase amount of "smart" munitions like Krasnopol, since they can be more cost effective than "dumb" shelling when you have guidance from drones.

>both Ukraine and Russia know they are easy to jam

Tell that to fiber drones. They are used in such large amounts that entire fields get covered in fiber. Even radio controlled drones quickly evolve with wing-based drones acting as re-translators and carriers.

And in the near future (year or two) we will see mass adoption of drones which are able to fly autonomously with on-board computer vision. Initially it will be just guidance during final stages after the target is locked, but later we will see drone swarms launched into the enemy's direction which autonomously search and destroy everything what moves.

>They've only been useful on very soft targets.

Sure. And this is why on both sides shiny tanks and MRAPs from parades and military exercises now look like Mad Max vehicles.

>The Ground Launched Small Diameter Bomb program was about taking dirt cheap iron bombs and slapping commodity electronics on it for cheap precision

Meanwhile Russia found a huge success with its UPMK-modified FABs.

The situation may change significantly if an effective and cheap (kinetic or laser) anti-drone defense is developed and mass-deployed, but for now the sword is much stronger than the shield.
by estearum | 2025-11-11 03:06:12+00:00
Also an everyday Corne user and I agree with this take but I'd also suggest that programmers do tend to have very niche problems. They have to type lots and lots of symbols that aren't super accessible on a normal keyboard.

If you're also a productivity nerd who likes keyboard shortcuts and whatnot, these types of keyboards give you (perhaps counterintuitively) a lot more freedom to experiment.
by nine_k | 2025-11-11 03:06:20+00:00
Seeing a performance degradation rendering a few dozen objects flying, down to 48 fps on Mac M1, is pretty insane. Something is fundamentally wrong either with the framework or the approach. It seems like 90%, if not 98%, of time is wasted on something irrelevant.

Here's Chrome showing 100k objects in 3D, with very decent fps: https://m.youtube.com/watch?v=dKg5H1OtDK8 This should give some idea of what should be achievable.
by tehnub | 2025-11-11 03:06:43+00:00
>For every person who gets to make creative decision, there are hundreds upon hundreds of people whose sole purpose is slavish adherence to those decisions. Miyazaki gets to design his beautiful characters - but the task of getting those characters to screen must be carried out by massive team of illustrators for whom "creative liberty" is a liability to their career.

This is vastly oversimplifying and is misleading. Key animators have a highly creative role. The small decisions in the movements, the timings, the shapes, even scene layouts (Miyazaki didn't draw every layout in The Boy and the Heron), are creative decisions that Miyazaki handpicked his staff on the basis of. Miyazaki conceived of the opening scene [0] in that film with Shinya Ohira as the animator in mind [1]. Even in his early films, when he was known to exert more control, animator Yoshinori Kanada's signature style is evident in the movements and effects [2].

[0]: https://www.sakugabooru.com/post/show/260429

[1]: https://fullfrontal.moe/takeshi-honda-the-boy-and-the-heron-...

[2]: Search for "Kanada animated many sequences of the movie, but let’s just focus on the most famous one, the air battle scene." in https://animetudes.com/2021/05/15/directing-kanada/
by collingreen | 2025-11-11 03:07:35+00:00
I agree but I've personally seen some egregious examples of people who are not only extremely confident in their new "knowledge" and "ability" but simultaneously think everyone else is extremely stupid. It's been absolutely wild to watch people paste chatgpt output and claim they wrote it, over and over again, even though every time I actually read it and ask a few "what does this mean" questions they have no idea and simply ask chatgpt then confidently say the response. It's so bad it's like a pathology; I wouldn't believe it if I hadn't seen it with my own eyes.

Something is happening here. Hopefully it's just revealing something that was already there in society and it isn't something new.
by timmg | 2025-11-11 03:07:52+00:00
Not sure if this matters for you or not, but my understanding (with some experiments) is that the "slicers" implicitly do a union. As in: you could have an STL with a bunch of overlapping blobs and the 3d printer slicing code just checks isInside -- which is effectively a union.

At least that's what I found when I was generating STLs in code.
by 1gn15 | 2025-11-11 03:08:07+00:00
I use manual verification on first post (note: can probably use an LLM to automate this), or just not have a comment section in the first place. That way, you moderate based on content, not identity or mental ability (which can be discriminatory and is also a losing game, as seen in TFA).

Either that, or just be honest and allow anonymous posting lol
by benSepanski | 2025-11-11 03:08:27+00:00
Veridise | https://veridise.com | REMOTE | Full Time

About Veridise: Veridise performs security audits for smart contracts, zero-knowledge circuits, blockchain implementations, key management services, and other off-chain services like relayers, bridges, wallet integrations, and more. Additionally, many members of the Veridise team research and develop modern security tools designed to tackle the ever-changing landscape of blockchain development, providing novel and automated insights into the security of smart contracts and zero-knowledge circuits.

--------------------------------------------------------------------------------

Frontend engineer position: Veridise is seeking a skilled front-end software engineer who will be responsible for developing and maintaining a front-end for a SaaS platform that provides security and code review tools. This individual will work closely with backend engineers, static analysis tool engineers, and security analysts to implement features such as collaborative code review, vulnerability triage interfaces, and interactive visualizations of compiler data structures. In addition, this individual will be responsible for collecting feedback from customers to determine how interfaces can be improved to better integrate into their workflow.

Application link:

- https://veridise.com/careers/veridise-careers-frontend-engin...

--------------------------------------------------------------------------------

Security analyst position: Veridise is seeking a highly skilled and motivated security analyst. The ideal candidate will have a strong background in computer science, possess advanced technical expertise, and demonstrate a deep understanding of security principles. This role involves identifying and mitigating security vulnerabilities through manual code review, running cutting-edge security tools and analyzing their results, actively staying up-to-date on emerging security threats, and learning to audit in new and exciting technologies. Application link:

- https://veridise.com/careers/veridise-careers-lead-security-...

- https://veridise.com/careers/veridise-careers-security-analy...
by AlotOfReading | 2025-11-11 03:08:39+00:00
As I explained in a sibling comment, memory safety violations aren't comparable to logic bugs. Avoiding them isn't an absolutist take, it's just a basic requirement in common programming languages like C and C++. That's not debatable, it's written right into the language standards, core guidelines, and increasingly government standards too.

If you think that's impossibly difficult, you're starting to understand the basic problem. We already know from other languages that memory safety is possible. I've already linked one proposal to retrofit similar safety onto C++. The author of Fil-C is elsewhere in these comments arguing for another way.
by LeroyRaz | 2025-11-11 03:09:36+00:00
How is that a misconception? LLMs are just advanced statistical modelling (unsupervised machine learning) with small tweaks (e.g., some fine-tuning for human preference).

At the core, they are just statistical modelling. The fact that statistical modelling can produce coherent thoughts is impressive (and basically vindicates materialism) but that doesn't change the fact it is all based on statistical modelling. ...? What is your view?
by PaulHoule | 2025-11-11 03:10:29+00:00
We had an accessibility review last winter where we were getting complaints that our React-based modals were not completely hiding content from accessibility checkers and screen readers. <dialog> turned out to be a great solution when we rebuilt our <Modal>(s) around them. There is a little mismatch between the edge-triggered events of the <dialog> and the way React wants to be level-triggered but it was not hard to reconcile.
by lutusp | 2025-11-11 03:12:31+00:00
This is astonishing. A screenshot is not only the least useful representation of a subject under discussion, it also requires more bandwidth than text.

I see two possible reasons for this -- the sender has no technical experience, or they're focused on making things more difficult for the recipient.

But when trying to decide between these two, I'm reminded of the saying, "Never attribute to malice that which can be adequately explained by stupidity."

This actually happened. A client wrote me, saying, "First, don't treat me like an idiot -- I have years of computer experience."

"Okay, I promise," I replied. "What's the problem?"

"Your program doesn't work."

"Can you be more specific?"

"I followed your instructions to the letter, but I see an error message."

"Okay, what is the error message?"

"It says, 'User [Enter your name here] is not found'."
by LeroyRaz | 2025-11-11 03:12:54+00:00
What do you mean? what do you think statistical modelling is?

I am very confused by your stance.

The aim of the function approximation is to maximize the likelihood of the observed data (this is standard statistical modelling), using machine learning (e.g., stochastic gradient decent) on a class of universal function approximators is a standard approach to fitting such a model.

What do you think statistical modelling involves?
by danaris | 2025-11-11 03:13:36+00:00
I believe the Doctrine of First Sale does apply to software (including games), as long as they're not encumbered by DRM. (And the only reason it doesn't apply there is the DMCA, which makes circumventing that DRM illegal.)

(And if anyone's unfamiliar with First Sale, my understanding is that it basically gives you the right to resell or regift property that you own.)

Furthermore, as I had pointed out to me on here just a few weeks ago, Congress has updated the law to recognize that computer software does not need a separate license to be "copied" into memory to run it; therefore, if you have a DRM-free piece of software, and you die, your heirs are 100% entitled to use that software or give it to someone else, for as long as the hardware they have access to can run it.
by quantummagic | 2025-11-11 03:13:42+00:00
> lost to dye issues...

Not that it helps to recover older data, but things are better with Blu-ray today; at least if you buy decent quality discs. Advertised lifespans are multiple decades, up to 100 years, or even 500 years for "M" discs. And in the "M" disc case, it's achieved by using a non-organic dye, to avoid the degradation issues.
by mrprmiller | 2025-11-11 03:13:43+00:00
Thinking about it, my "Synod" system (in progress - probably a week out given my work schedule) should easily be able to handle this kind of topical request with multiple verses and topical ideas together. The super-alpha version can be found at the bottom of the "Create Report" page.

Eventually, it will be a back and forth discussion between AIs batting a question around by a mixture of experts system with a summary report provided on theological questions. Topical would obviously be included in that.
by Rohansi | 2025-11-11 03:13:55+00:00
That's great stuff! IIRC Factorio takes the same approach but relies on extensive testing to avoid running into desync issues with non-deterministic code. Would be very cool to be able to build games like that without needing to worry about desyncs!

It might be a good idea to highlight some of the limitations to this approach somewhere so users aren't caught off guard later in the development process. For example, it wouldn't be great to build a competitive FPS or MOBA with this because the game state is replicated to all players which is a cheaters dream. The latency characteristics would also not be ideal for games with a larger number of players. I also assume there are no escape hatches for doing any non-deterministic things like I/O so there would be limited to no persistence possible. It won't be an issue for most games but worth highlighting just in case IMO.
by RestartKernel | 2025-11-11 03:14:12+00:00
> He had synesthesia that made him unable to forget things for most of the life.

Some counterpoints from the Wikipedia article as well:

> According to autobiographical diary of Shereshevsky, found by Reed Johnson, he "did not, in fact, have perfect recall". Details of Shereshevsky's biography are different in his own writing from Luria's account. [...] Reynberg recalls that Shereshevsky "could be forgetful", and that he "trained hours a day for his evening performances", because he needed "consciously try to commit something to memory".
by 0manrho | 2025-11-11 03:14:19+00:00
Don't underestimate the ability of humans to make a right mess of things in short order. Often, these elaborate systems of government, finance, and/or corporation often falls very slowly and then suddenly all at once.

It's not a given by any means, nor do I wish downfall of the EU or it's member states for the record, but things are rarely as stable or persistent as they seem, especially when subjected to the novel and/or unforseen.
by cosmic_cheese | 2025-11-11 03:14:27+00:00
Part of what makes it so good is that it's everywhere. Preview, QuickLook, QuickTime Player (yes, videos get OCR'd too!), any app that uses the system frameworks for displaying media.

This includes Safari, where not only do images (inline or otherwise) have selectable text, but the built in translator leverages that text and uses it to translate images, too! This is super useful for translating Japanese webpages in particular, which tend to have tons of text baked into images.
by ProllyInfamous | 2025-11-11 03:14:35+00:00
Welcome to Macintosh (I've seen CPUs go from 68k -> PPC -> Intel -> Silicon). The hardware architecture just keeps improving (but can't say the same for macOS).

>so impressed with the MacBook

The sound on these Apple Silicon laptops is absolutely impressive, making an immediate & lasting impression upon first-timers.

----

The basic configuration M4 (mini) is a very capable system, with an incredible price... it's just slightly slower than an M2Pro, for half the price.

I have an M3 (air) which is ignificantly less-capable than either (the mistake Apple made was default 8GB configuration).
by al_be_back | 2025-11-11 03:14:58+00:00
> the movie 300

In high-tech warfare we're seeing these days your metaphor is reversed. These artisans (potters etc) are tech engineers, mathematicians, chemists. They are quick to mobilize and become effective (operate drones, robots, cyber, complex machines).

I cannot comment on your opinion of Canada, it's too vague in my opinion.

Generally, western Armed Forces (CAF included) reduced their personnel and spending when the Cold War ended (90s). Rightly so. Since then, war is fought very differently and AF are now very quickly adapting.

Recent conflicts in near/along Levant and near/along the Black Sea, show how effective certain types of warfare are in the current climate.
by asdff | 2025-11-11 03:15:17+00:00
I thought they were on biyearly swapping with treyarch?

Cod4 in some ways was the beginning of the end for a lot that we took for granted in gaming up to that point. I remember when it released and a couple of us went to my friends house to play it. Boy were we in for a shock when there was no coop multiplayer like halo 3.
by nathanrf | 2025-11-11 03:15:50+00:00
In the style of the linked post, you'd probably define a generic type (well, one of two generic types):

type ExactlyStatic : (0 t: Type) -> (0 v: t) -> Type

type ExactlyRuntime : (0 t: Type) -> (v: t) -> Type

Then you could have the type (ExactlyStatic Int 9) or the type (ExactlyRuntime Int 9).

The difference is that ExactlyStatic Int 9 doesn't expose the value 9 to the runtime, so it would be fully erased, while (ExactlyRuntime Int 9) does.

This means that the runtime representation of the first would be (), and the second would be Int.

> Also how to handle runtime values? That will require type assertions, just like union types?

The compiler doesn't insert any kind of runtime checks that you aren't writing in your code. The difference is that now when you write e.g. `if condition(x) then ABC else DEF` inside of the two expressions, you can obtain a proof that condition(x) is true/false, and propagate this.

Value representations will typically be algebraic-data-type flavored (so, often a tagged union) but you can use erasure to get more efficient representations if needed.
by LeroyRaz | 2025-11-11 03:16:53+00:00
I think the person you are responding to is using a strange definition of "know."

I think they mean "do we understand how they process information to produce their outputs" (i.e., do we have an analytical description of the function they are trying to approximate).

You and I mean, we understand the training process that produces their behaviour (and this training process is mainly standard statistical modelling / ML).

In short, both sides are talking past each other.
by neilv | 2025-11-11 03:17:16+00:00
If only more billionaires would start sounding as aware as this 95 year-old one:

> But Lady Luck is fickle and – no other term fits – wildly unfair. In many cases, our leaders and the rich have received far more than their share of luck – which, too often, the recipients prefer not to acknowledge. Dynastic inheritors have achieved lifetime financial independence the moment they emerged from the womb, while others have arrived, facing a hell-hole during their early life or, worse, disabling physical or mental infirmities that rob them of what I have taken for granted. In many heavily-populated parts of the world, I would likely have had a miserable life and my sisters would have had one even worse.

> I was born in 1930 healthy, reasonably intelligent, white, male and in America. Wow! Thank you, Lady Luck. My sisters had equal intelligence and better personalities than I but faced a much different outlook.

> [...] A Few Final Thoughts [remaining 7 paragraphs possibly directed at current events]
by jasonlotito | 2025-11-11 03:17:25+00:00
Please send screenshots. Also include links to the actual source where you got it, or if you can't sure, also share the text. But a screenshot is a perfect starting point as I may not always be in a position to follow a URL or deal with text that some chat program is having difficulty formating properly, and a screnshot can go a long way if I see what I need to see.

Screenshots are fine. Just don't ONLY send screenshots.