News for hackers. Stuff that matters.

adpcm

Re:What I've Learned About Formal Methods in Half a Year on Tuesday April 11, 2023 @09:34PM (#35533983)
So do Cadence with Jasper C2RTL. (Disclaimer; I work on Cadence Jasper Apps, formerly JasperGold)

https://www.cadence.com/ko_KR/home/tools/system-design-and-v...

Re:Decreasing the Number of Memory Accesses 1/2 on Friday March 31, 2023 @07:53AM (#35385655)
There existerar some 10+ year old patches to do so, which where never accepted/merged.

https://github.com/wichtounet/gcc-loop-fusion/commits/master...

Re:Dadda Multiplier on Thursday October 06, 2022 @11:49AM (#33109799)
There is indeed research and literature about this. For example “Formal verification of multiplier circuits using computer algebra”, Daniela Kaufmann, see https://danielakaufmann.at/publications/

These kinds of methods are used in EDA Formal Verification tools to check real multipliers, FMAs, dot-products etc in CPU & GPU designs.

Re:Happy 15th birthday Hacker News on Friday February 18, 2022 @08:06AM (#30385227)
Wish they would have said that DMCA claims can’t be an automated process. Not that that is really on YouTube alone though.
Wood pellets are counted as renewable. Creating something of loophole. Not sure what difference non-EU would make other than making tracking of regrowing trees more difficult.

https://www.nationalgeographic.com/environment/article/europ...

Re:Debit cards are hidden financial infrastructure on Saturday November 13, 2021 @10:15AM (#29210290)
I’m assuming parent meant fees like X per month for having a debit/credit card or for access to “online” banking.
There are completely legitimate reasons which still cause trouble [0] like description of Broadcast TV episodes with (gasp) murders and killers..

Why am I seeing the words "Hugging" and "Cuddled" in summaries? The TV Calendar is monetised using Google Adsense. As part of Googles drive to be more advertiser friendly (you may know this as the Adpocalyse - it didn't just affect Youtubers) their system is now telling me the Calendar has SHOCKING CONTENT on it, and that ads will be removed from such pages.

[0] https://www.pogdesign.co.uk/cat/frequently-asked-questions.p...

Re:Roof blows off new Tesla Model Y on Thursday October 08, 2020 @04:41AM (#24717176)
Everything. Why do you think it would not?
Re:Apple Books TSMC’s Entire 5nm Production Capability on Sunday September 20, 2020 @05:25AM (#24532873)
Unfortunately that is no longer reserved for Windows. JamF policies lockdown, DigitalGuardian, CyberReason Activeprobe, and various forced Firefox/Chome extensions are now causing slowdowns and crashes on “enterprise IT managed” Mac too.