zadwang
Re:Case study: Creative math – How AI fakes proofs
on Sunday January 25, 2026 @11:16PM (#46761811)
The simpler and I think correct conclusion is that the LLM simply does not reason in our sense of the word. It mimics the reasoning pattern and try to get it right but could not.
Re:Autocorrect in Your Keyboard Firmware (2021)
on Wednesday January 08, 2025 @11:45AM (#42635995)
Such ideas generally interfere with usability. I loath any such automations. Some more examples: the menu changes when the mouse hovers over the item; the window size or position changes when the window movement nears the border; Word automatically indent bullet items etc etc. The people designing such systems think they are designing a smart system and the usability is horrible, for me at least.
Re:Is the frequency domain a real place?
on Sunday April 07, 2024 @06:49AM (#39959920)
Fourier basis is unique in that the complex exponential basis functions are the eigen vectors of the linear time invariant (LTI) systems. No other transform has this property. Many real world systems (circuits, communication channels, antennas, etc) are LTI. This property make sure for example, signals transmitted over different frequencies do not interfere. That is why Fourier transform is so useful and used instead of other transforms. There is also the connection with quantum physics, in using Fourier pair as wave functions of position and momentum, which other transforms don’t have.
Re:The xz attack shell script
on Tuesday April 02, 2024 @07:22PM (#39911936)
The set of unix utilities have been tested a long time. I just wish the kernel and key utilities keeps fixed and not changed. Unless absolutely necessary. Don’t fix it if it ain’t broken. The software empire seems out of control.
Re:Show HN: Multi-monitor KVM using just a USB switch
on Sunday February 11, 2024 @09:02AM (#39335045)
I use DDC and synergy. So no hardware. It is mostly working OK.
Re:The Nanohertz Gravitational-Wave Detection Explained [Illustrated]
on Sunday August 13, 2023 @08:46AM (#37109452)
Excellent illustration. After reading it I thought this looks like the PHD style. And I checked the author, who IS Jorge Cham. About 22 years ago I was reading his Piled higher and deeper, PHD, series and bought several books of his. It is a great feeling to see that he is still doing comics. Thanks Jorge!
Re:Gallery of Processor Cache Effects
on Tuesday July 18, 2023 @06:40AM (#36770283)
Is this the reason modern apps like Mozilla are so slow? Basically OS memory movement is the bottle neck?
Re:Ask HN: Is Vim still worth learning?
on Tuesday December 13, 2022 @06:20AM (#33967351)
Vi was designed for very slow connections, maybe 300 symbols per second. As such it needed to minimize the keys needed to accomplish a task and maximize user friendliness within such constraints. Turns out that goal is still very much relevant today - although there is a learning process to learn the code book.
Last time I checked I disliked the size of search index folders and files. So I am sticking to mairix, which integrates well with mutt and is small and fast.
Re:Go: Redefining For Loop Variable Semantics
on Tuesday October 11, 2022 @05:52AM (#33161333)
You are right.
Would it be possible to add closure use as another case?
Re:Go: Redefining For Loop Variable Semantics
on Tuesday October 11, 2022 @05:48AM (#33161301)
Correct.
The “static analysis” section says that it is impossible to catch all cases where address is used which is true. However if the analysis checks for whether address is TAKEN, then it is trivial. I would like to propose that as an alternative- whenever address is taken the variable is per iteration. Otherwise per loop.
This seems the simplest and logical modification.
Re:Go: Redefining For Loop Variable Semantics
on Tuesday October 11, 2022 @05:40AM (#33161252)
If I understand correctly the fix requires the new code to add a line in go.mod to use the new behavior. This is about the same as adding x:=x in the loop, and more hidden. Not good.
The alternative can be that whenever address of iteration variable is used inside the loop the variable is per iteration and otherwise it is per loop. This way it is not breaking the old code and have new semantics.
Re:Rethinking GPS: Engineering next-gen location at Uber (2018)
on Sunday September 11, 2022 @08:28AM (#32799070)
Are there open data for this type of research? If someone would like to improve their algorithms.
Re:Peter Eckersley has died
on Saturday September 03, 2022 @08:16AM (#32701087)
I have not met him but have used his LetsEncrypt service. I felt thankful for existence of such service. RIP.
Re:Lessons I wish I had learned before I started teaching differential...
on Saturday August 20, 2022 @05:54AM (#32530773)
I think the reason Vi wins even at infinite terminal speed is that it minimizes the things you need to type to express what you want to achieve/edit to computer. This was motivated by slow terminal speed in the beginning but is also addressing the bottle neck of human computer interface.
Re:The Zoom installer let a researcher hack his way to root access on ...
on Saturday August 13, 2022 @06:52AM (#32448603)
The discussion is mostly about features of teleconference software which is completely off topic. The point of the article is security. I am not sure if Zoom INTENTIONALLY left the bug for future exploits. I have suspicion and no proof. But in any case, not fixing a bug after 8 months is simply unacceptable.
Re:Show HN: Sioyek – PDF viewer for reading research papers and textbooks
on Saturday February 19, 2022 @08:58AM (#30397154)
Does it fit page correctly according to each page size, rather than the max page size? This is one bug in zathura that bothers me.
Re:Imap-backup: Backup Gmail or other IMAP accounts to disk
on Saturday January 08, 2022 @12:53PM (#29854181)
On a related topic, for Office365 cloud-mdir-sync is useful because IMAP may not be supported.
Re:Learning how to ride a bike
on Saturday December 11, 2021 @05:13PM (#29524742)
I learned how to ride a bike when a young kid sticking one leg inside the triangle frame of the large adult bike. Kind of dangerous now looking back but I still remember the liberating feeling of more mobility.
Re:Code2flow: Pretty good call graphs for dynamic languages
on Saturday December 11, 2021 @01:04PM (#29522891)
This actually should be the way codes are written. This is how we reason about codes in our minds.
Re:Evergrande has defaulted on its debt, Fitch Ratings says
on Thursday December 09, 2021 @08:58AM (#29497345)
I suppose the data was an average. If only considering the big cities the ration would be much higher then (even worse).
Re:Almost Always Add Swap Space
on Thursday December 02, 2021 @07:03AM (#29415087)
Modern software are just ridiculously hungry for memory that even many GB is not enough. This is just bad considering that we used to work with only GB of disk. I wish all software designs are frugal in resources.
Re:Setting up Gmail in Doom Emacs using mbsync and mu4e
on Saturday November 06, 2021 @11:04PM (#29136187)
mbsync tends to be more efficient and robust. With Gmail it has no problems. With outlook IMAP it has problems with some emails occasionally. I haven’t figured out how to sync Maildir with Office365 other than cloud-mdir-sync which is inefficient for large mail boxes.
Re:Setting up Gmail in Doom Emacs using mbsync and mu4e
on Saturday November 06, 2021 @08:10PM (#29135115)
This is possible with mbsync. Take a look at Archlinux wiki page for mbsync.
Re:Physics Student Earns PhD at Age 89
on Monday November 01, 2021 @11:32PM (#29076646)
This is so inspiring. I am a professor and an engineer. But still I think about physics and still hope to be a physicist.
Re:Ask HN: What does one look for in a laptop these days?
on Saturday October 16, 2021 @09:45AM (#28887834)
Has anyone mentioned fanless? I want my machines, laptops included, to be quiet.
Re:Understanding Awk
on Friday October 01, 2021 @12:28AM (#28714557)
I have used it for many thing such as extract bibtex entries and checking for missed definition of abbreviations, converting remind entry to ICS format etc. Recent example is to print a calendar like cal but with calendar dates highlighted.
Re:The code worked differently when the moon was full
on Wednesday September 29, 2021 @04:05AM (#28691361)
The unix date command does this.
Re:UMN CS&E Statement on Linux Kernel Research
on Wednesday April 21, 2021 @07:30PM (#26896699)
The research approach is distasteful and dangerous. Any one should not introduce bugs or malicious code intentionally, even for research purpose. The results are also a bit trivial. It is easy to imagine that this type of code injection would be possible. So let this be an example of what is the consequence of intentional malicious code injection, even in the name of research.
I wish I could be on the researchers' side, as I am both Chinese and an alum from UMN. But No - wrong is wrong.
Re:Huawei ‘may have eavesdropped on Dutch mobile network’s calls’
on Monday April 19, 2021 @01:01PM (#26865089)
This could be said of ANY telecom providers. It is all speculation without a shred of fact.