Sign in

taka

@taka8.bsky.social
24 followers 15 following 249 posts

programming(主にRust, C++, Python), science. MS(Kyoto-u)

PostsRepliesMedia
taka @taka8.bsky.social · 24/01/2025
Lots of strange approvals in Japan that neglect trial data. www.science.org/content/arti...
science.org
In a ‘shocker’ decision, Japan approves mpox drug that failed in two efficacy trials
Earlier European authorizations for tecovirimat are also being scrutinized in the face of fresh data
000 0
taka @taka8.bsky.social · 22/01/2025
Nanomaterials, due to their size and surface structure, are prone to being harmful to the body, and their strong antibacterial properties are a double-edged sword. www.science.org/content/arti...
science.org
Microscopic pillars on insect wings give bugs an antibacterial superpower
New insights into how these “nanopillars” work could inspire better ways to protect humans from infection
010 0
Reposted by taka
R.L. Stollar @rlstollar.bsky.social · 11/01/2025
The goal of parental authority should not be to crush the child’s will and force the child into alignment with the parent’s will. Rather, the goal should be to develop and lift up the child’s will with the child’s well-being in mind.
rlstollar.com
The Power of Adults Over Children: Oppressive or Liberative?
Adults can use their power over children in either oppressive or liberative ways.
093 0
taka @taka8.bsky.social · 09/01/2025
Much worse than I expected. Prove that √5 is an irrational number without using the law of excluded middle chatgpt.com/share/677fd0...
chatgpt.com
ChatGPT - Proof of Irrationality
Shared via ChatGPT
000 0
taka @taka8.bsky.social · 07/01/2025
Infinite power of complex numbers z^(z^(z^(z^(z^(z^... Green - White: Convergence Red - gray: Oscillation Black: Divergence
Fractal-like shape
130 0
taka @taka8.bsky.social · 07/01/2025
This title is misleading. It merely estimates the atmospheric lead concentration during the Roman era from Arctic ice core samples, then estimates blood lead levels from the atmospheric lead concentration, and finally estimates the impact on IQ from those blood lead levels.
000 0
taka @taka8.bsky.social · 01/01/2025
Hanachozu(花手水)
000 0
taka @taka8.bsky.social · 31/12/2024
Happy New Year (UTC+9) 謹賀新年
000 0
taka @taka8.bsky.social · 31/12/2024
prat8897.github.io/posts/Travel... Dynamic Lookahead Insertion algorithm A heuristic that outperforms Concorde in challenging small- to medium-scale cases of the Traveling Salesman Problem (TSP), achieving optimal solutions for all 15,000 random TSP instances. O(N^4)
prat8897.github.io
Solving the Traveling Salesman Problem: From Heuristics to a Potential Polynomial-Time Breakthrough – Misfit Tidbits
120 0
taka @taka8.bsky.social · 30/12/2024
GPS Spoofing Attacks spectrum.ieee.org/gps-spoofing... spectrum.ieee.org/gps-spoofing
spectrum.ieee.org
GPS Spoofing Attacks Are Dangerously Misleading Airliners
Electronic warfare is taking a perilous turn into civilian airspace
000 0
taka @taka8.bsky.social · 29/12/2024
2025 = 45^2 = 27^2 + 36^2 It is generated from the primitive Pythagorean triple (3, 4, 5). 2025 = Σ[k=0..9]k^3 Sum of first 9 cubes
000 0
taka @taka8.bsky.social · 27/12/2024
Attraction map created using the polynomial root-finding algorithm (Laguerre's method) Color-coded based on the roots of convergence. f(x) = x^6 - 2x^5 - x^4 - 3x^3 - 4x^2 - 2x + 1
131 0
taka @taka8.bsky.social · 26/12/2024
The decline of the LCD business has led to a shift toward solar cells. I wonder how long perovskite solar cells will hold up. As for organic thin-film solar cells, it still seems tough for them to gain traction.
000 0
taka @taka8.bsky.social · 25/12/2024
Advent of Rust 2024 Completed. The problems overall followed the specifications of the Rust language, but on Day 20, I had the opportunity to use the type state pattern with PhantomData for the first time. www.rustfinity.com/advent-of-rust
rustfinity.com
Advent of Rust 2024 - Join the Advent of Code for Rustaceans
Advent of Rust is a month-long event where you can learn Rust by solving daily challenges.
000 0
taka @taka8.bsky.social · 25/12/2024
Lean age↑
000 0
taka @taka8.bsky.social · 24/12/2024
The Fast Multipole Method (FMM) improves the computational complexity of n-body simulations, such as particle systems, from O(N^2) to O(N). It achieves this by grouping distant particles and calculating their interactions collectively. The Japanese name for this method is "高速多重極展開法".
000 0
taka @taka8.bsky.social · 24/12/2024
The context-generic programming (CGP) project, to introduce a new modular programming paradigm for Rust. contextgeneric.dev/blog/early-p...
contextgeneric.dev
Context-Generic Programming
000 0
taka @taka8.bsky.social · 24/12/2024
If video generation models advance to the point where fake videos can be created freely and indistinguishably from real ones, will images and videos lose their evidentiary value, rendering surveillance cameras meaningless? Ultimately, will it even become possible to install fake memories...?
000 0
taka @taka8.bsky.social · 22/12/2024
It might not be very relevant, but I occasionally come across careless mistakes like this. I've even seen a math professor make such errors.
The quadratic formula that seems correct at first glance but is actually wrong:
a mix-up of coefficients.
010 0
taka @taka8.bsky.social · 22/12/2024
It is obvious the date of the winter solstice is the same in the northern hemisphere. However, given that the Earth orbits the Sun and its rotational axis is tilted relative to the orbital plane, it seems less obvious due to the variation in the time of solar noon. en.wikipedia.org/wiki/Analemma
en.wikipedia.org
Analemma - Wikipedia
010 0
taka @taka8.bsky.social · 21/12/2024
Everyone around me believed that thought depends on language, so as one of the minority, Review like this are very helpful to me. www.nature.com/articles/s41...
nature.com
Language is primarily a tool for communication rather than thought - Nature
Evidence from neuroscience and related fields suggests that language and thought processes operate in distinct networks in the human brain and that language is optimized for communication and not for ...
000 0
taka @taka8.bsky.social · 19/12/2024
There have always been papers and articles with exaggerated titles, but even influential journals are becoming less scrupulous.
000 0
taka @taka8.bsky.social · 18/12/2024
OK
ChatGPT outputs ["London" id not the capital of the United Kingdom.]
000 0
Reposted by taka
John Shirley @johnshirley2024.bsky.social · 17/12/2024
Technology is no longer about progress.
honest-broker.com
52 Reasons to Fear that Technological Progress Is Reversing
Now is a time for brutal realism and here's what it tells us
093 0
taka @taka8.bsky.social · 18/12/2024
Tesseract OCR with splattered paint input outputs 93% as valid Perl programs. Perl is a highly flexible language... www.mcmillen.dev/sigbovik/
mcmillen.dev
93% of Paint Splatters are Valid Perl Programs | Colin McMillen
TLDR: read the paper and view the gallery of pretty Perl programs. In this paper, we aim to answer a long-standing open problem in the programming languages community: is it possible to smear paint on...
010 0
taka @taka8.bsky.social · 17/12/2024
> ‘exchangeability’ : starting from a specific, but purely subjective, expression of convictions, we should act as if events were driven by objective chances. > In our everyday world, probability probably does not exist — but it is often useful to act as if it does. www.nature.com/articles/d41...
nature.com
Why probability probably doesn’t exist (but it is useful to act like it does)
All of statistics and much of science depends on probability — an astonishing achievement, considering no one’s really sure what it is.
000 0
taka @taka8.bsky.social · 16/12/2024
It is not a proof. It is just an interpretation. The original article on the google blog only pays lip service to “giving credence to the interpretation”.
010 0
taka @taka8.bsky.social · 15/12/2024
Something well-known but often overlooked. MCMC draws cannot fill the posterior in high dimensions statmodeling.stat.columbia.edu/2024/05/06/m...
statmodeling.stat.columbia.edu
MCMC draws cannot fill the posterior in high dimensions | Statistical Modeling, Causal Inference, and Social Science
000 0
taka @taka8.bsky.social · 14/12/2024
There are too many definitions of Entropy in various fields.
100 0
taka @taka8.bsky.social · 14/12/2024
Recent sports radial tires tend to prioritize grip performance over durability year by year. It can't be helped, though, since lap times take precedence over durability on the circuit. > ‘The first and the last priority is always going to be safety.’
100 0
taka @taka8.bsky.social · 13/12/2024
The awarding of the Nobel Prize for asymmetric synthesis about 20 years ago left a strong impression, and now the stage of creating mirror life has been reached. www.science.org/doi/10.1126/...
science.org
Confronting risks of mirror life
Broad discussion is needed to chart a path forward.
100 0
Reposted by taka
xenaproject.bsky.social @xenaproject.bsky.social · 11/12/2024
Hello Bluesky! (and bye-bye Twitter). I just wrote a blog post about a bump in the road along the way to teaching a computer a proof of Fermat's Last Theorem. xenaproject.wordpress.com/2024/12/11/f...
xenaproject.wordpress.com
Fermat’s Last Theorem — how it’s going
So I’m two months into trying to teach a proof of Fermat’s Last Theorem to a computer. We already have one interesting story, which I felt was worth sharing.
317646 0
taka @taka8.bsky.social · 13/12/2024
I have a memory of being asked by my boss in the past to develop a material with optical properties at the metamaterial level.
000 0
taka @taka8.bsky.social · 13/12/2024
Metasurfaces are an attractive technology in many fields, but there are still numerous challenges to overcome for practical implementation. www.science.org/doi/10.1126/...
science.org
Optical devices as thin as atoms
Controlling exciton resonances in twodimensional materials can create dynamic flat optics
010 0
taka @taka8.bsky.social · 12/12/2024
三重表現 無限級数和
000 0
taka @taka8.bsky.social · 12/12/2024
www.nature.com/articles/s41...
nature.com
Aromatic ring-opening metathesis - Nature
Nature - Aromatic ring-opening metathesis
000 0
taka @taka8.bsky.social · 12/12/2024
The shortage of transformers is caused by the expansion of adjacent industries such as electric motors and EV chargers, the decline of the transformer manufacturing industry, and hesitation to increase production capacity. spectrum.ieee.org/transformer-...
spectrum.ieee.org
This Essential Element of the Power Grid Is in Critically Short Supply
A transformer supply crisis bottlenecks energy projects
100 0
taka @taka8.bsky.social · 11/12/2024
Verification of the correctness of computations performed using quantum computers may become increasingly challenging. I am also interested in research on accuracy verification.
000 0
taka @taka8.bsky.social · 10/12/2024
Many personality tests and self-assessment quizzes tend to have respondents answer based on their "ideal self" or the person they wish to be. It's better not to take the results too seriously and to reflect as objectively as possible when analyzing yourself.
000 0
taka @taka8.bsky.social · 10/12/2024
1.84 blog.rust-lang.org/inside-rust/...
blog.rust-lang.org
Rustc Trait System Refactor Initiative Update: Stabilizing `-Znext-solver=coherence` | Inside Rust Blog
Want to follow along with Rust development? Curious how you might get involved? Take a look!
021 0
taka @taka8.bsky.social · 09/12/2024
I don't like that the illustration of hydrochloric acid in this article is naphthalene. www.visualistan.com/2021/03/the-...
visualistan.com
The Lethal Doses of 55 Substances #Infographic
There are certain everyday substances that can be toxic to animals and humans depending on the amount of exposure. Water for example can become toxic
000 0
taka @taka8.bsky.social · 08/12/2024
Bluesky's science feed is mostly about biology, earth sciences, and astronomy. These fields probably attract attention more easily with images and videos.
010 0
taka @taka8.bsky.social · 08/12/2024
DrivAerNet++ github.com/Mohamedelref...
github.com
GitHub - Mohamedelrefaie/DrivAerNet: A Large-Scale Multimodal Car Dataset with Computational Fluid Dynamics Simulations and Deep Learning Benchmarks
A Large-Scale Multimodal Car Dataset with Computational Fluid Dynamics Simulations and Deep Learning Benchmarks - Mohamedelrefaie/DrivAerNet
000 0
taka @taka8.bsky.social · 07/12/2024
The brain functions used for natural language and mathematical language differ. In the case of programming languages, the brain functions involved are closer to those used for natural language than for mathematical language.
100 0
taka @taka8.bsky.social · 06/12/2024
> he's focused on translating researchers' proofs into machine-readable language that could be used as training data. www.science.org/content/arti...
science.org
‘Brutal’ math test stumps AI but not human experts
Benchmark shows humans can still top machines—but for how much longer?
100 0
taka @taka8.bsky.social · 05/12/2024
I don't know the technical details, but it's a highly impressive demonstration. Where will this research be applied in the future? > Generating unlimited diverse training environments for future general agents deepmind.google/discover/blo...
deepmind.google
Genie 2: A large-scale foundation world model
Generating unlimited diverse training environments for future general agents
000 0
taka @taka8.bsky.social · 05/12/2024
Bird-shaped drone Drones with Legs Can Walk, Hop, and Jump into the Air www.youtube.com/watch?v=-8DJ...
youtube.com
Fast Ground-To-Air Transition With Avian-Inspired Multifunctional Legs
YouTube video by IEEE Spectrum
000 0
taka @taka8.bsky.social · 04/12/2024
The IceCube Observatory detects muons coming from the North Pole at the South Pole.
000 0
taka @taka8.bsky.social · 04/12/2024
The hidden concept that food composed entirely of food additives to optimize taste is the ultimate gastronomy...
000 0
taka @taka8.bsky.social · 03/12/2024
The Art of Failure Analysis 2024 Using microscopes such as SEM, I often encounter fascinating shapes. spectrum.ieee.org/the-art-of-f...
spectrum.ieee.org
The Art of Failure Analysis 2024
Searching for defects in their chips, these engineers found something inspiring
010 0