ykm

ykm on Hacker News

Ni-based metal organic frameworks for photocatalytic CO2 hydrogenation

Posted by ykm on Thursday January 16, 2025 @11:30AM
from the nature.com dept.

https://www.nature.com/articles/s41467-025-55891-1

( Read More... | no comments | on HN )

Lambda Calculus

Posted by ykm on Wednesday January 15, 2025 @09:40PM
from the funcall.blogspot.com dept.

http://funcall.blogspot.com/2025/01/calculus.html

( Read More... | no comments | on HN )

Common Lisp: Fold- and Monoids

Posted by ykm on Sunday January 05, 2025 @09:18PM
from the funcall.blogspot.com dept.

http://funcall.blogspot.com/2025/01/fold-and-monoids.html

( Read More... | 46 comments | on HN )

Re:Change of Name: Coq –> The Rocq Prover on Wednesday December 27, 2023 @04:40AM (#38780465)

Reminds me of a time when i created a library to work with iterators in lisp, inadvertently naming it cl-iterators[0], as far as the naming convention of common lisp libraries went at that time. Some folks(including me!) on reddit had lots of fun with the unfortunate name.

[0] https://github.com/ykm/critter

Newly engineered CRISPR enzyme for editing DNA could improve patient treatment

Posted by ykm on Friday September 29, 2023 @12:58PM
from the phys.org dept.

https://phys.org/news/2023-09-newly-crispr-enzyme-dna-patient.html

( Read More... | no comments | 2 points | on HN )

China tech further severed from US fundings after Biden ban

Posted by ykm on Thursday August 10, 2023 @12:49AM
from the techcrunch.com dept.

https://techcrunch.com/2023/08/09/china-tech-further-severed-from-us-fundings-after-biden-ban/

( Read More... | no comments | on HN )

YouTube no longer suggests videos if your ‘watch history’ is turned off

Posted by ykm on Tuesday August 08, 2023 @10:54PM
from the techcrunch.com dept.

https://techcrunch.com/2023/08/08/youtube-update-homepage-watch-history/

( Read More... | 1 comment | 2 points | on HN )

BlueJeans Folds

Posted by ykm on Tuesday August 08, 2023 @10:53PM
from the techcrunch.com dept.

https://techcrunch.com/2023/08/08/bluejeans-folds/

( Read More... | 4 comments | 6 points | on HN )

Zoom knots itself a legal tangle over use of customer data for training AI

Posted by ykm on Tuesday August 08, 2023 @10:50PM
from the techcrunch.com dept.

https://techcrunch.com/2023/08/08/zoom-data-mining-for-ai-terms-gdpr-eprivacy/

( Read More... | no comments | on HN )

SoftBank posts loss, with a cumulative loss of $6.3B in its Vision Fund business

Posted by ykm on Tuesday August 08, 2023 @04:15AM
from the techcrunch.com dept.

https://techcrunch.com/2023/08/08/softbank-posts-loss-with-a-cumulative-loss-of-6-3b-in-its-vision-fund-business/

( Read More... | 7 comments | 3 points | on HN )

Boeing's first astronaut flight bumped into next year, more repairs needed

Posted by ykm on Monday August 07, 2023 @10:17PM
from the phys.org dept.

https://phys.org/news/2023-08-boeing-1st-astronaut-flight-year.html

( Read More... | no comments | on HN )

Scientists repeat breakthrough fusion experiment, netting more power than before

Posted by ykm on Monday August 07, 2023 @02:26PM
from the techcrunch.com dept.

https://techcrunch.com/2023/08/07/fusion-ignition-breakthrough-repeated/

( Read More... | 4 comments | 2 points | on HN )

Why does scrolling go faster if I wiggle the mouse?

Posted by ykm on Tuesday January 26, 2021 @01:05PM
from the devblogs.microsoft.com dept.

https://devblogs.microsoft.com/oldnewthing/20210126-00/?p=104759

( Read More... | no comments | 2 points | on HN )

Google Engineers Propose “Machine Function Splitter” for Faster Performance

Posted by ykm on Wednesday August 05, 2020 @08:00AM
from the phoronix.com dept.

https://www.phoronix.com/scan.php?page=news_item&px=Machine-Function-Splitter

( Read More... | 1 comment | 4 points | on HN )

More data, but still confusion over how much children spread SARS-CoV-2

Posted by ykm on Monday August 03, 2020 @10:44PM
from the arstechnica.com dept.

https://arstechnica.com/science/2020/08/more-data-but-still-confusion-over-how-much-children-spread-sars-cov-2/

( Read More... | no comments | 2 points | on HN )

Tencent and Chinese scientists use deep learning to predict fatal Covid-19 cases

Posted by ykm on Wednesday July 22, 2020 @03:43AM
from the techcrunch.com dept.

https://techcrunch.com/2020/07/21/tencent-coronavirus-prediction/

( Read More... | no comments | 2 points | on HN )

Ice Lake Xeons Will Ramp Up Frequencies Slower, Linux Is Preparing a Workaround

Posted by ykm on Tuesday July 14, 2020 @09:58PM
from the phoronix.com dept.

http://www.phoronix.com/scan.php?page=news_item&px=Ice-Lake-Xeon-Frequency-C1E

( Read More... | no comments | 2 points | on HN )

Linus Torvalds on AVX512

Posted by ykm on Sunday July 12, 2020 @02:28AM
from the phoronix.com dept.

http://www.phoronix.com/scan.php?page=news_item&px=Linus-Torvalds-On-AVX-512

( Read More... | 121 comments | 140 points | on HN )

5G was going to unite the world–instead it’s tearing us apart

Posted by ykm on Saturday July 04, 2020 @11:54AM
from the arstechnica.com dept.

https://arstechnica.com/?p=1689260

( Read More... | 1 comment | 7 points | on HN )

Plundering of crypto keys from ultrasecure SGX sends Intel scrambling again

Posted by ykm on Tuesday June 09, 2020 @02:37PM
from the arstechnica.com dept.

https://arstechnica.com/information-technology/2020/06/new-exploits-plunder-crypto-keys-and-more-from-intels-ultrasecure-sgx/

( Read More... | no comments | 15 points | on HN )

New electronic cooling technology to enable miniaturization of quantum computers

Posted by ykm on Tuesday April 14, 2020 @11:12AM
from the phys.org dept.

https://phys.org/news/2020-04-electronic-cooling-technology-enable-miniaturization.html

( Read More... | no comments | on HN )

Trump signs an executive order allowing mining the moon and asteroids

Posted by ykm on Monday April 13, 2020 @10:42AM
from the phys.org dept.

https://phys.org/news/2020-04-trump-moon-asteroids.html

( Read More... | no comments | on HN )

Continuous delivery pioneer CircleCI scores $100M Series E

Posted by ykm on Tuesday April 07, 2020 @11:43AM
from the techcrunch.com dept.

https://techcrunch.com/2020/04/07/continuous-delivery-pioneer-circleci-scores-100m-series-e/

( Read More... | no comments | 4 points | on HN )

Simulations show extreme opinions can lead to polarized groups

Posted by ykm on Tuesday April 07, 2020 @11:41AM
from the m.phys.org dept.

https://m.phys.org/news/2020-04-simulations-extreme-opinions-polarized-groups.html

( Read More... | no comments | 2 points | on HN )

Google is shutting down Neighbourly

Posted by ykm on Wednesday April 01, 2020 @09:30PM
from the support.google.com dept.

https://support.google.com/neighbourly/answer/9756228?ref_topic=9757368

( Read More... | 62 comments | 56 points | on HN )

Facebook in talks to acquire stake in top Indian telco Reliance Jio, report says

Posted by ykm on Tuesday March 24, 2020 @11:39AM
from the techcrunch.com dept.

https://techcrunch.com/2020/03/24/facebook-in-talks-to-acquire-stake-in-top-indian-telco-reliance-jio-report-says/

( Read More... | no comments | 6 points | on HN )

To get out of this, we are going to have to think like central planners

Posted by ykm on Tuesday March 24, 2020 @11:29AM
from the m.phys.org dept.

https://m.phys.org/news/2020-03-central-planners.html

( Read More... | no comments | on HN )

Our Infected Machine

Posted by ykm on Sunday March 15, 2020 @09:33AM
from the techcrunch.com dept.

https://techcrunch.com/2020/03/15/our-infected-machine/

( Read More... | no comments | 2 points | on HN )

Before it sued Google for copying from Java, Oracle got rich copying IBM’s SQL

Posted by ykm on Tuesday March 10, 2020 @11:38AM
from the arstechnica.com dept.

https://arstechnica.com/tech-policy/2020/03/before-it-sued-google-for-copying-from-java-oracle-got-rich-copying-ibms-sql/

( Read More... | no comments | 24 points | on HN )

Sequoia gives away $21M investment in Finix as it walks away from deal

Posted by ykm on Monday March 09, 2020 @02:12PM
from the techcrunch.com dept.

https://techcrunch.com/2020/03/09/sequoia-is-giving-away-21-million-to-a-payments-startup-it-funded-as-it-walks-away-from-deal/

( Read More... | 83 comments | 206 points | on HN )